The IF Toolset-Reference-Cited by-同舟云学术

The IF Toolset

Published:2004 Issue: Volume: Page:237-267
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bozga Marius,Graf Susanne,Ober Ileana,Ober Iulian,Sifakis Joseph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30080-9_8.pdf

Reference50 articles.

1. Lecture Notes in Computer Science;A. Annichini,2001

2. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)

3. Lecture Notes in Computer Science;K. Altisen,2000

4. Altisen, K., Gössler, G., Sifakis, J.: Scheduler Modeling Based on the Controller Snthesis Paradigm. Journal of Real-Time Systems, special issue on “control-theoretical approaches to real-time computing” 23(1/2), 55–84 (2002)

5. Lecture Notes in Computer Science;A. Bouajjani,1991

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

1. Language Agnostic Model Checking for SDL;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

2. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13

3. Model-checking of space systems designed with TASTE/SDL;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23

4. Urgent Partial Order Reduction for Extended Timed Automata;Automated Technology for Verification and Analysis;2020

5. From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems;Communications in Computer and Information Science;2020