Вы здесь

Mandrioli D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Formal Framework for ASTRAL Inter-level Proof Obligations 1995 Coen-Porisini A., Kemmerer R. A., Mandrioli D. Lecture Notes in Computer Science Software Engineering - ESEC 95 30.11.1995
СТ A Model Parametric Real-Time Logic 1992 Morzenti A., Mandrioli D., Ghezzi C. ACM Trans. Programming Languages and Systems 10.12.1992
СТ From Formal Models to Formally Based Methods: An Industrial Experience 1999 Ciapessoni E., Coen-Porisini A., Crivelli E., Mandrioli D., Mirandola P., Morzenti A. ACM Trans. on Software Engineering and Methodology 26.05.1999
СТ Parallel Refinement Mechanisms for Real-Time Systems 2000 Kolano P. Z., Kemmerer R. A., Mandrioli D. Lecture Notes in Computer Science 25.04.2000

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ FME 2003 - Forma Methods: Proc./Intern. Symp. of Formal Methods Europe, Pisa, Italy, September 2003 2003 Lecture Notes in Computer Science
  1. Araki K.
  2. Gnesi S.
  3. Mandrioli D.
24.09.2003