A Mechanized Semantic Framework for Real-Time Systems-Reference-Cited by-同舟云学术

A Mechanized Semantic Framework for Real-Time Systems

Published:2013 Issue: Volume: Page:106-120
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Garnacho Manuel,Bodeveix Jean-Paul,Filali-Amine Mamoun

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40229-6_8

Reference22 articles.

1. Abid, N., Zilio, S.D., Botlan, D.L.: A Verified Approach for Checking Real-Time Specification Patterns. In: Proceedings of VeCos (2012)

2. Arnold, A.: Finite Transition Systems - Semantics of Communicating Systems. Prentice Hall international series in computer science. Prentice Hall (1994)

3. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM, pp. 3–12 (2006)

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. On the Semantics of Polychronous Polytimed Specifications;Lecture Notes in Computer Science;2020

2. Verified Certification of Reachability Checking for Timed Automata;Tools and Algorithms for the Construction and Analysis of Systems;2020

3. Ordering Strict Partial Orders to Model Behavioral Refinement;Electronic Proceedings in Theoretical Computer Science;2018-10-24

4. Verified Model Checking of Timed Automata;Tools and Algorithms for the Construction and Analysis of Systems;2018

5. Correct-by-construction model driven engineering composition operators;Formal Aspects of Computing;2016-05