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
![[img]](../style/images/fileicons/application_pdf.png)
| PDF (CETIC paper on requirements for safety critical software (mentioning DEPLOY)) - Published Version 319Kb |
Official URL: http://ercim-news.ercim.org/
| Item Type: | Article |
|---|---|
| Subjects: | Tool developments > Rodin platform Methodology > Requirements and evolution Industrial Deployment |
| ID Code: | 40 |
| Deposited By: | Ir Christophe Ponsard |
| Deposited On: | 16 Oct 2008 21:31 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
