Using Formal Methods for Ensuring Quality Requirements of Systems

Gordon Fraser, Franz Wotawa

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)13-16
Journale&i - Elektrotechnik und Informationstechnik
Volume124
Issue number1
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application

Cite this

Using Formal Methods for Ensuring Quality Requirements of Systems. / Fraser, Gordon; Wotawa, Franz.

In: e&i - Elektrotechnik und Informationstechnik, Vol. 124, No. 1, 2007, p. 13-16.

Research output: Contribution to journalArticleResearchpeer-review

@article{59907e57eb0f4aa2b504e7af730e4d19,
title = "Using Formal Methods for Ensuring Quality Requirements of Systems",
author = "Gordon Fraser and Franz Wotawa",
year = "2007",
language = "English",
volume = "124",
pages = "13--16",
journal = "e&i - Elektrotechnik und Informationstechnik",
issn = "0932-383X",
publisher = "Springer Wien",
number = "1",

}

TY - JOUR

T1 - Using Formal Methods for Ensuring Quality Requirements of Systems

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2007

Y1 - 2007

M3 - Article

VL - 124

SP - 13

EP - 16

JO - e&i - Elektrotechnik und Informationstechnik

JF - e&i - Elektrotechnik und Informationstechnik

SN - 0932-383X

IS - 1

ER -