Archived publication
Archived publication
Model-based Verification in the Development of Dependable Systems
December 01, 2004
DART
- Published date: December 01, 2004
- Publisher:
- Refereed: 1
- Conference: International Conference on Information Technology: Coding and Computing (ITCC 2005)
- Page(s): 9
- Journal:
- Name and number of project:
- Volume/number:
- Title: Model-based Verification in the Development of Dependable Systems
- Author(s): Aredo, Demissie; Owe, Olaf
- ISBN:
- Book title:
- Editor: