Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino-Reference-Cited by-同舟云学术

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino

Published:2017 Issue: Volume: Page:295-301
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bonfanti Silvia,Carissoni Marco,Gargantini Angelo,Mashkoor Atif

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-57288-8_21

Reference7 articles.

1. Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)

2. Lecture Notes in Computer Science;P Arcaini,2016

3. Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw.: Pract. Exp. 41, 155–166 (2011)

4. Börger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003)

5. Lecture Notes in Computer Science;N Cataño,2016

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

1. Generating interactive documents for domain-specific validation of formal models;International Journal on Software Tools for Technology Transfer;2024-02-20

2. cpp-tiny-client;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25

3. A Software Products Line as Educational Tool to Learn Industrial Robots Programming with Arduino;Electronics;2022-03-02

4. Model Checking B Models via High-Level Code Generation;Formal Methods and Software Engineering;2022

5. Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA;Electronic Proceedings in Theoretical Computer Science;2021-11-16