Synchronous design and verification of critical embedded systems using SCADE and Esterel

Authors:
Gérard Berry
Affiliations:
Esterel Technologies, France
Venue:
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Year:
2007

Citing 0
Cited 3

Formal methods: Practice and experience

ACM Computing Surveys (CSUR)
Critical systems development methodology using formal techniques

Proceedings of the Third Symposium on Information and Communication Technology
Formal modelling for ada implementations: tasking event-b

Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract