Adaptable Translator of B Specifications to Embedded C Programs-Reference-Cited by-同舟云学术

Adaptable Translator of B Specifications to Embedded C Programs

Published:2003 Issue: Volume: Page:94-113
ISSN:0302-9743
Container-title:FME 2003: Formal Methods
language:
Short-container-title:

Author:

Bert Didier,Boulmé Sylvain,Potet Marie-Laure,Requet Antoine,Voisin Laurent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45236-2_7

Reference20 articles.

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

2. Lecture Notes in Computer Science;P. Behm,1999

3. Lecture Notes in Computer Science;P. Behm,1998

4. Bert, D.: Étude de la traduction B0 vers C: Conventions de nommage. Technical Report D10 (2003), http://lifc.univ-fcomte.fr/~tatibouet/WEBBOM

5. Bert, D., Potet, M.-L., Rouzaud, Y.: A Study on Components and Assembly Primitives in B. In: Habrias, H. (ed.) Proceedings of the 1st Conference on the B method, pp. 47–62. IRIN, Nantes (1996)

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

1. An Event-B Development Process for the Distributed BIP Framework;Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems;2020-07-28

2. AsmetaF: A Flattener for the ASMETA Framework;Electronic Proceedings in Theoretical Computer Science;2018-11-27

3. Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report;Modelling Foundations and Applications;2018

4. B-PERFect;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2017

5. Generating Event-B Specifications from Algorithm Descriptions;Lecture Notes in Computer Science;2016