creators_name: Clabaut, Mathieu
creators_id: mathieu.clabaut@systerel.fr
type: conference_item
datestamp: 2010-01-07 10:28:38
lastmod: 2010-04-19 15:05:59
metadata_visibility: show
corp_creators: Systerel
title: Challenges in Applying Formal Methods -- An SME View
ispublished: submitted
subjects: deploy_industrial_trans
full_text_status: public
pres_type: speech
abstract: This paper outlines past and foreseen challenges in applying
both classical B and event B to design safety related systems in an SME.

event_title: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems
event_location: Dagstuhl
event_dates: 14-18 Sept. 2009
event_type: workshop
refereed: FALSE
citation:   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)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/164/1/dagstuhl-systerel-paper.pdf