An Operational Semantics for Stateflow-Reference-Cited by-同舟云学术

An Operational Semantics for Stateflow

Published:2004 Issue: Volume: Page:229-243
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Hamon Grégoire,Rushby John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24721-0_17

Reference13 articles.

1. The Mathworks: Stateflow and Stateflow Coder, User’s Guide. Release 13sp1 edn. (2003)

2. Ford: Structured analysis and design using Matlab/Simulink/Stateflow - modeling style guidelines. Technical report, Ford Motor Company (1999), Available at http://vehicle.me.berkeley.edu/mobies/papers/stylev242.pdf

3. Buck, D., Rau, A.: On modelling guidelines: Flowchart patterns for Stateflow. Softwaretechnik-Trends 21 (2001)

4. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Aarhus University (1981)

5. Tiwari, A., Shankar, N., Rushby, J.: Invisible formal methods for embedded control systems. Proceedings of the IEEE 91, 29–39 (2003)

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

1. Polyglot Modal Models through Lingua Franca;Proceedings of Cyber-Physical Systems and Internet of Things Week 2023;2023-05-09

2. MBSE Validation and Verification;Handbook of Model-Based Systems Engineering;2023

3. Bounded Invariant Checking for Stateflow;Electronic Proceedings in Theoretical Computer Science;2022-09-27

4. MBSE Validation and Verification;Handbook of Model-Based Systems Engineering;2022

5. StaBL;Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference;2020-02-27