Article Dans Une Revue
Computer Science and Information Systems
Année : 2019
Christian Attiogbé : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02468473
Soumis le : mercredi 5 février 2020-18:51:12
Dernière modification le : jeudi 18 janvier 2024-10:44:39
Citer
Pascal Andre, Christian Attiogbé, Arnaud Lanoix. A tool-assisted method for the systematic construction of critical embedded systems using Event-B. Computer Science and Information Systems, 2019, 00, pp.42-42. ⟨10.2298/CSIS190501042A⟩. ⟨hal-02468473⟩
Collections
28
Consultations
0
Téléchargements