Rigorous System Design: The BIP Approach-Reference-Cited by-同舟云学术

Rigorous System Design: The BIP Approach

Published:2012 Issue: Volume: Page:1-19
ISSN:0302-9743
Container-title:Mathematical and Engineering Methods in Computer Science
language:
Short-container-title:

Author:

Basu Ananda,Bensalem Saddek,Bozga Marius,Bourgos Paraskevas,Sifakis Joseph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-25929-6_1

Reference22 articles.

1. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Systems in BIP. In: Proceedings of Software Engineering and Formal Methods SEFM 2006, pp. 3 –12. IEEE Computer Society Press (2006)

2. Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Publishers (1993)

3. Burns, A., Welling, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley (2001)

4. Lecture Notes in Computer Science;T. Henzinger,2006

5. LNCS;R. Milner,1980

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems;Bridging the Gap Between AI and Reality;2023-12-14

2. Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems;Modelling and Simulation for Autonomous Systems;2023

3. Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking;Knowledge Science, Engineering and Management;2022

4. Runtime Verification for FMI-Based Co-simulation;Runtime Verification;2022

5. Rigorous engineering of collective adaptive systems: special section;International Journal on Software Tools for Technology Transfer;2020-05-13