Вы здесь

Holzmann G. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model-Driven Software Verification 2004 Holzmann G. J., Joshi R. Lecture Notes in Computer Science 29.04.2004
СТ Trends in Software Verification 2003 Holzmann G. J. Lecture Notes in Computer Science 24.09.2003
СТ Software Analysis and Model Checking 2002 Holzmann G. J. Lecture Notes in Computer Science 31.08.2002
СТ Logic Verification of ANSI-C Code with SPIN 2000 Holzmann G. J. Lecture Notes in Computer Science 26.09.2000
СТ Software Verification at Bell Labs: One Line of Development 2000 Holzmann G. J. Bell Labs Technical J. 13.07.2000
СТ The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited 1999 Holzmann G. J. Lecture Notes in Computer Science 26.10.1999
СТ Interval Reduction Through Requirements Analysis 1998 Holzmann G. J., Smith M. H. Bell Labs Technical J. 01.08.1998
СТ On Checking Model Checkers 1998 Holzmann G. J. Lecture Notes in Computer Science 03.07.1998
СТ The Model Checker SPIN 1997 Holzmann G. J. IEEE Trans. on Software Engineering 28.08.1997
П On-the-Fly Model Checking Tutorial 1996 Holzmann G. J. Basic Research in Computer Science 21.01.1997
СТ Early Fault Detection Tools 1996 Holzmann G. J. Lecture Notes in Computer Science 24.04.1996
СТ An Analyzer for Message Sequence Charts 1996 Alur R., Holzmann G. J., Peled D. Lecture Notes in Computer Science 24.04.1996
СТ Tutorial: Proving Properties of Concurrent Systems with SPIN 1995 Holzmann G. J. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ NASA Formal Methods: Proc./Third International Symposium, NFM 2011, Pasadens,CA,USA, April 2011 2011 Lecture Notes in Computer Science
  1. Bobaru M.
  2. Havelung K.
  3. Holzmann G. J.
  4. Joshi R.
24.05.2011