Skip to Main content Skip to Navigation
Journal articles

Mode-Automata: a new domain-specific construct for the development of safe critical systems

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01876521
Contributor : Florence Maraninchi <>
Submitted on : Tuesday, September 18, 2018 - 3:01:40 PM
Last modification on : Thursday, November 19, 2020 - 3:58:03 PM

Identifiers

Collections

Citation

Florence Maraninchi, Yann Rémond. Mode-Automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming, Elsevier, 2003, 46 (3), pp.219 - 254. ⟨10.1016/S0167-6423(02)00093-X⟩. ⟨hal-01876521⟩

Share

Metrics

Record views

402