Yeganefard, Sanaz and Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods Symposium 2010 . (In Press)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 263Kb |
| Item Type: | Article |
|---|---|
| Subjects: | Methodology > Requirements and evolution Event-B > Event-B Examples |
| ID Code: | 209 |
| Deposited By: | Michael Butler |
| Deposited On: | 08 Mar 2010 17:12 |
| Last Modified: | 19 Apr 2010 16:06 |
Repository Staff Only: item control page
