Using Formal Methods for Ensuring Quality Requirements of Systems

Gordon Fraser, Franz Wotawa

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Originalspracheenglisch
Seiten (von - bis)13-16
FachzeitschriftElektrotechnik und Informationstechnik
Jahrgang124
Ausgabenummer1
PublikationsstatusVeröffentlicht - 2007

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application

Dieses zitieren