creators_name: Ponsard, Christophe
creators_name: Dallons, Gautier
creators_name: Philippe, Massonet
creators_id: christophe.ponsard@cetic.be
creators_id: gautier.dallons@cetic.be
creators_id: philippe.massonet@cetic.be
type: article
datestamp: 2008-10-16 20:31:13
lastmod: 2010-04-19 15:05:50
metadata_visibility: show
title: From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems
ispublished: pub
subjects: deploy_tooldev_rodinplatform
subjects: deploy_method_reqevo
subjects: deploy_industrial
full_text_status: public
date: 2008-10
date_type: published
publication: ERCIM News
number: 75
publisher: ERCIM
pagerange: 22-23
refereed: FALSE
issn: ISSN 0926-4981
official_url: http://ercim-news.ercim.org/
citation:   Ponsard, Christophe and Dallons, Gautier and Philippe, Massonet  (2008) From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems.  ERCIM News  (75).   pp. 22-23.  ISSN ISSN 0926-4981     
document_url: http://deploy-eprints.ecs.soton.ac.uk/40/1/EN75-CETIC.pdf

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