Formally Unifying Modeling and Design for Embedded Systems - A Personal View-Reference-Cited by-同舟云学术

Formally Unifying Modeling and Design for Embedded Systems - A Personal View

Published:2016 Issue: Volume: Page:134-149
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
language:
Short-container-title:

Author:

Berry G.

Publisher

Springer International Publishing

Link

Reference62 articles.

1. Rodin Users Handbook. http://www3.hhu.de/stups/handbook/rodin/current/html/

3. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2013)

4. André, C.: Representation, analysis of reactive behaviors: a synchronous approach. In: Proceedings of CESA 1996, IEEE-SMC, Lille, France (1996)

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

1. FPGA Stream-Monitoring of Real-time Properties;ACM Transactions on Embedded Computing Systems;2019-10-19

2. Type Theory as a Framework for Modelling and Programming;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018

3. Why Programming Must Be Supported by Modeling and How;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018