The principal objective of this course is to give students an opportunity to acquire knowledge in the development of safety critical systems, including the theory and practice of applying safety analysis and formal specification techniques.· Students will also gain experience in the use of such specifications in software development and testing
| Attachment | Size |
|---|---|
 CMP3206 Safety Critical System.docx | 37.68 KB |