A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.
Theor. Comput. Sci.（2016）
关键词
Metric temporal logic,Formal and automatic verification,Micro- and macro-steps,Non-standard analysis,Petri nets,Stateflow/Simulink
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要