"164","Challenges in Applying Formal Methods -- An SME View","This paper outlines past and foreseen challenges in applying  both classical B and event B to design safety related systems in an SME.  ","http://deploy-eprints.ecs.soton.ac.uk/164/","Clabaut, Mathieu","UNSPECIFIED","       <span class=\"person_name\">Clabaut, Mathieu</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/164/\"><em>Challenges in Applying Formal Methods -- An SME View.</em></a>       In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Dagstuhl.         (Submitted)   ","mathieu.clabaut@systerel.fr",""