Archived publication

Archived publication

Model-based Verification in the Development of Dependable Systems

Aredo, Demissie; Owe, Olaf

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: