Using Formal Methods for Ensuring Quality Requirements of Systems

Gordon Fraser, Franz Wotawa

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)13-16
JournalElektrotechnik und Informationstechnik
Volume124
Issue number1
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application

Cite this