ESTEREL: a formal method applied to avionic software development-Reference-Cited by-同舟云学术

ESTEREL: a formal method applied to avionic software development

Published:2000-01 Issue:1 Volume:36 Page:5-25
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Berry Gérard,Bouali Amar,Fornari Xavier,Ledinot Emmanuel,Nassor Eric,de Simone Robert

Publisher

Elsevier BV

Subject

Software

Reference32 articles.

1. J.R. Abrial, M.K.O. Lee, D.S. Neilson, P.N. Scharbach, I.H. Sørensen, The B-method, in: VDM’91: Formal Software Development Methods, Vol. 2, Lecture notes in Computer Science, vol. 552, Springer, Berlin, 1991, pp. 398–405.

2. C. Andre, Representation and analysis of reactive behaviors: a synchronous approach, in: Computational Engineering in Systems Applications, Lille (France), (1996) IEEE-SMC pp. 19–29.

3. C. André, M. Bourdellès, S. Dissoubray, SYNCCHARTS/ESTEREL: un environnement graphique pour la spécification et la programmation d'applications réactives complexes, Rev. du Génie Logiciel 46 (1997).

4. Esterel on hardware;Berry;Philos. Trans. Roy. Soc. London A,1992

5. G. Berry. The Constructive Semantics of Esterel, Draft book available at: http://www.inria.fr/meije/esterel, 1998.

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

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Time: It is only Logical!;Theories of Programming and Formal Methods;2023

3. Behind the scenes of glamour: A systematic literature review of the business aviation sector;Journal of Air Transport Management;2022-10

4. Fault-tolerant functional reactive programming (extended version);Journal of Functional Programming;2020

5. A calculus for Esterel: if can, can. if no can, no can.;Proceedings of the ACM on Programming Languages;2019-01-02