Вы здесь

Heitmeyer C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Using Model Checking to Generate Tests from Requirements Specifications 1999 Gargantini A., Heitmeyer C. Lecture Notes in Computer Science 14.10.1999
СТ Automatic Generation of State Invariants from Requirements Specifications 1998 Jeffords R., Heitmeyer C. Software Engineering Notes 26.03.1999
СТ Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications 1998 Heitmeyer C., Kirby J., Labaw B., Archer M., Bharadwai R. IEEE Transactions on Software Engineering 28.01.1999
СТ Formal Methods: A Panacea or Academic Poppycock? 1997 Heitmeyer C. Lecture Notes in Computer Science 15.04.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ FM 2016: Formal Methods: Proc./21st International Symposium, Limassol, Cyprus, November 2016 2016 Lecture Notes in Computer Science
  1. Fitzgerald J.
  2. Heitmeyer C.
  3. Gnesi S.
  4. Philippou A.
24.01.2017