title: From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems
creator: Ponsard, Christophe
creator: Dallons, Gautier
creator: Philippe, Massonet
subject: Rodin platform
subject: Requirements and evolution
subject: Industrial Deployment
publisher: ERCIM
date: 2008-10
type: Article
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/40/1/EN75-CETIC.pdf
relation: http://ercim-news.ercim.org/
identifier:   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     
relation: http://deploy-eprints.ecs.soton.ac.uk/40/

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