Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal verification of ECML hybrid models with spaceex;Information and Software Technology;2017-12
2. Synthesizing bounded-time 2-phase fault recovery;Formal Aspects of Computing;2015-01
3. Modeling Time;Models and Analysis in Distributed Systems;2013-03-06
4. Scenario-based verification of real-time systems using Uppaal;Formal Methods in System Design;2010-11-26
5. Strict Divergence for Probabilistic Timed Automata;CONCUR 2009 - Concurrency Theory;2009