Author:
AlTurki Musab,Dhurjati Dinakar,Yu Dachuan,Chander Ajay,Inamura Hiroshi
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Wang, F.: Formal verification of timed systems: A survey and perspective. Proceedings of the IEEE 92(8), 1283–1305 (2004)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
3. Merlin, P., Farber, D.: Recoverability of communication protocols - implications of a theoretical study. IEEE Tran. on Comm. 24(9), 1036–1043 (1976)
4. Barklund, J., Virding, R.: Specification of the standard Erlang programming language, Draft version 0.7 (June 1999)
5. ITU-T: Recommendation Z.100(08/02), languages and general software aspects for telecom. systems - specification and description language (SDL) (August 2002)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Timed Strategies for Real-Time Rewrite Theories;Lecture Notes in Computer Science;2024
2. Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving;Application and Theory of Petri Nets and Concurrency;2023
3. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29
4. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10
5. Formal Model Engineering for Embedded Systems Using Real-Time Maude;Electronic Proceedings in Theoretical Computer Science;2011-06-29