Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
| Publication date | 2005 |
|---|---|
| Host publication | Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) |
| Publisher | IEEE |
| Number of pages | 1 |
| ISBN (print) | 0769523773 |
| <mark>Original language</mark> | English |
| Name | Proc. IEEE Int. Symp. High Assur. Syst. Eng. |
|---|---|
| ISSN (Print) | 1530-2059 |