Model-based Verification in the Development of Dependable Systems

  • Demissie Aredo
  • Olaf Owe

Publikasjonsdetaljer

  • Journal: Ukjent, p. 9–9, Wednesday 1. December 2004