Вы здесь

Gargantini A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automatic Model Driven Animation of SCR Specifications 2003 Gargantini A., Riccobene E. Lecture Notes in Computer Science 17.04.2003
СТ Using Model Checking to Generate Tests from Requirements Specifications 1999 Gargantini A., Heitmeyer C. Lecture Notes in Computer Science 14.10.1999
СТ Proving Automated Support to Deductive Analysis of Time Critical Systems 1997 Alborghetti A., Gargantini A., Morzenti A. Lecture Notes in Computer Science 03.10.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Tests and Proofs: Proc./4th International Conference, TAP 2010, Malaga, Spain, July 2010 2010 Lecture Notes in Computer Science
  1. Fraser G.
  2. Gargantini A.
21.09.2010