Systematic Construction of Critical Embedded Systems Using Event-B.

Pascal Andr, J. Christian Attiogb, Arnaud Lanoix

Browse the full MEDI paper archive.