Industrial deployment of system engineering methods providing high dependability and productivity


Challenges in Applying Formal Methods -- An SME View

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)

PDF - Submitted Version
Available under License Creative Commons Attribution.



This paper outlines past and foreseen challenges in applying both classical B and event B to design safety related systems in an SME.

Item Type:Conference or Workshop Item (Speech)
Subjects:Industrial Deployment > Transportation
ID Code:164
Deposited By:Mathieu Clabaut
Deposited On:07 Jan 2010 10:28
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved