A tool-assisted method for the systematic construction of critical embedded systems using Event-B - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Computer Science and Information Systems Année : 2019

A tool-assisted method for the systematic construction of critical embedded systems using Event-B

Dates et versions

hal-02468473 , version 1 (05-02-2020)

Identifiants

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⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More