TY  - CONF
ID  - deploy164
UR  - http://deploy-eprints.ecs.soton.ac.uk/164/
A1  - Clabaut, Mathieu
N2  - This paper outlines past and foreseen challenges in applying
both classical B and event B to design safety related systems in an SME.

TI  - Challenges in Applying Formal Methods -- An SME View
AV  - public
M2  - Dagstuhl
T2  - Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>