Tool support for the rapid composition, analysis and implementation of reactive services-Reference-Cited by-同舟云学术

Tool support for the rapid composition, analysis and implementation of reactive services

Published:2009-12 Issue:12 Volume:82 Page:2068-2080
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Kraemer Frank Alexander,Slåtten Vidar,Herrmann Peter

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference54 articles.

1. The existence of refinement mappings;Abadi;Theoretical Computer Science,1991

2. UPPAAL: now next and future;Amnell,2001

3. Arctis Website, 2009. .

4. Timed automata: semantics algorithms and tools;Bengtsson,2003

5. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J., 2004. The IF toolset. In: Procceedings of the 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM-RT’04), vol. 3185. Lecture Notes in Computer Science, Springer, pp. 237–267.

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

1. Component‐based specification, design and verification of adaptive systems;Systems Engineering;2023-04-06

2. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14

3. Synthesis-Based Engineering of Supervisory Controllers for Autonomous Robotic Navigation;IFAC-PapersOnLine;2021

4. Property Lifecycle Diagram for Tracing State Machine Diagram Changes;Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering;2021

5. Modeling and Analyzing an Industry 4.0 Communication Protocol;IEEE Internet of Things Journal;2020-10