title: Challenges in Applying Formal Methods -- An SME View
creator: Clabaut, Mathieu
subject: Transportation
description: This paper outlines past and foreseen challenges in applying  both classical B and event B to design safety related systems in an SME.  
type: Conference or Workshop Item
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/164/1/dagstuhl-systerel-paper.pdf
identifier:   Clabaut, Mathieu   Challenges in Applying Formal Methods -- An SME View.  In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Dagstuhl.    (Submitted)  
relation: http://deploy-eprints.ecs.soton.ac.uk/164/