Author:
Amnell Tobias,Behrmann Gerd,Bengtsson Johan,D’Argenio Pedro R.,David Alexandre,Fehnker Ansgar,Hune Thomas,Jeannet Bertrand,Larsen Kim G.,Möller M. Oliver,Pettersson Paul,Weise Carsten,Yi Wang
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. Rajeev Alur, Costas Courcoubetis, and David Dill. Model Checking in Dense Real Time. Information and Computation, 104:2–34, 1993.
2. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David Dill, and Howard Wong-Toi. Minimization of Timed Transition Systems. In Proc. of CONCUR’ 92, Theories of Concurrency: Unification an d Extension, pages 340–354, 1992.
3. Rajeev Alur, Thomas A. Henzinger, and Moshe Y. Vardi. Parametric Real-time Reasoning. In Proceedings of the Twenty-Fifth Annual ACM Symposium on the Theory of Computing, pages 592–601, 1993.
4. Tobias Amnell and Pontus Jansson. Report from astec-rt auto project-central locking system case study. In preparation, 2001.
5. Lect Notes Comput Sci;R. Alur,1999
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Model Checker for Operator Precedence Languages;ACM Transactions on Programming Languages and Systems;2023-09-23
2. Structural modeling and verification of web applications;Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics;2018-06-25
3. Developing Reliable Component-Based Software in Mediator;Formal Methods and Software Engineering;2018
4. Generating Arduino C Codes from Mediator;Lecture Notes in Computer Science;2018
5. A Framework for Evaluating Schedulability Analysis Tools;Lecture Notes in Computer Science;2017