Login / Signup
A tool-assisted method for the systematic construction of critical embedded systems using Event-B.
Pascal André
J. Christian Attiogbé
Arnaud Lanoix
Published in:
Comput. Sci. Inf. Syst. (2020)
Keyphrases
</>
embedded systems
real time
embedded devices
low cost
software systems