Tutorial: a Practical Introduction to using Event-B for Complex Hardware and Embedded System Specification and Design John Colley FDL 2012 Vienna.
Germán ESTEBAN MUÑIZ Industrial Technologies DG Research and Innovation
03 WP H2020 - 1. Introduction En
John Colley FDL 2012 Vienna