Real-Time Specification Patterns and Tools-Reference-Cited by-同舟云学术

Real-Time Specification Patterns and Tools

Published:2012 Issue: Volume: Page:1-15
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Abid Nouha,Dal Zilio Silvano,Le Botlan Didier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-32469-7_1

Reference19 articles.

1. Abid, N., Dal Zilio, S., Le Botlan, D.: A Real-Time Specification Patterns Language. Technical Report 11364, LAAS (2011)

2. Abid, N., Dal Zilio, S., Le Botlan, D.: Verification of Real-Time Specification Patterns on Time Transitions Systems. Technical Report 11365, LAAS (2011)

3. Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool tina – construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research 42, 14 (2004)

4. Lecture Notes in Computer Science;B. Berthomieu,2009

5. Berthomieu, B., Bodeveix, J.-P., Chaudet, C., Dal Zilio, S., Dissaux, P., Filali, M., Heim, S., Gaufillet, P., Vernadat, F.: Formal Verification of AADL models with Fiacre and Tina. In: Proc. of ERTSS 2010 5th International Congress and Exhibition on Embedded Real-Time Software and Systems (2010)

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

1. Language Inclusion Checking of Timed Automata Based on Property Patterns;Applied Sciences;2022-12-16

2. An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns;Computational Collective Intelligence;2022

3. RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus;Science of Computer Programming;2021-06

4. Observer Patterns for Timed Properties;International Journal of Software Innovation;2021-04

5. Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker;2020 International Symposium on Theoretical Aspects of Software Engineering (TASE);2020-12