Author:
Bérard Beatrice,Cassez Franck,Haddad Serge,Lime Didier,Roux Olivier H.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Aceto, L., Laroussinie, F.: Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. In: Journal of Logic and Algebraic Programming, vol. 52-53, pp. 7–51. Elsevier Science Publishers, Amsterdam (august 2002)
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science B 126, 183–235 (1994)
3. Aura, T., Lilius, J.: A causal semantics for time Petri nets. Theoretical Computer Science 243(1-2), 409–447 (2000)
4. Lecture Notes in Computer Science;B. Bérard,2005
5. Lecture Notes in Computer Science;B. Bérard,2005
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conformance Testing of Preemptive Real-Time Systems;International Journal of Embedded and Real-Time Communication Systems;2013-10
2. On the composition of time Petri nets;Discrete Event Dynamic Systems;2011-04-28
3. Time-Optimal Real-Time Test Case Generation Using Prioritized Time Petri Nets;2009 First International Conference on Advances in System Testing and Validation Lifecycle;2009-09
4. Testing Real-Time Systems Using TINA;Testing of Software and Communication Systems;2009
5. When are Timed Automata weakly timed bisimilar to Time Petri Nets?;Theoretical Computer Science;2008-08