Author:
Sherif Adnan,Sampaio Augusto,Cavalcante Sérgio
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lect Notes Comput Sci;G. Balbo,1992
2. Zhou Chaochen, C. A. R. Hoare, and Anders P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269–276, 1991.
3. J. Davies and S. Schneider. A brief history of timed csp. Theoretical Computer Science, 138(2):243–271, 1995.
4. A. R. de Paula Jr. Fault Tolerance Aspects of the SACI-1. VI Simpósio de Computadores Tolerantes a Falhas, 1995.
5. C.J. Finge. Specification and verification of real-time behaviors using z and rtl. Lecture Notes in Computer Science, 571:393–409, 1992.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Deadlock-Free Verification of the SACI-1 OBC Using Circus Time Action and FDR;2024 IEEE 4th International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA);2024-05-19
2. A process algebraic framework for specification and validation of real-time systems;Formal Aspects of Computing;2010-03
3. The VATES-Diamond as a Verifier’s Best Friend;Verification, Induction, Termination Analysis;2010