Article Dans Une Revue
Science of Computer Programming
Année : 2003
Florence Maraninchi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01876521
Soumis le : mardi 18 septembre 2018-15:01:40
Dernière modification le : jeudi 4 avril 2024-21:31:47
Dates et versions
Identifiants
- HAL Id : hal-01876521 , version 1
- DOI : 10.1016/S0167-6423(02)00093-X
Citer
Florence Maraninchi, Yann Rémond. Mode-Automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming, 2003, 46 (3), pp.219 - 254. ⟨10.1016/S0167-6423(02)00093-X⟩. ⟨hal-01876521⟩
66
Consultations
0
Téléchargements