Вы здесь

Morzenti A.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Generation of Execution Sequences for Modular Time Critical Systems 2000 Pietro P. S., Morzenti A., Morasca S. IEEE Trans. on Software Engineering 02.04.2002
СТ 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
СТ 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
СТ On the Approximability of some Maximum Spanning Tree Problems 1995 Galbiati G., Morzenti A., Maffioli F. Lecture Notes in Computer Science 13.04.1995
СТ A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets 1994 Felder M., Morzenti A. Lecture Notes in Artificial Intelligence 12.08.1994
СТ Object-Oriented Logical Specification of Time-Critical Systems 1994 Morzenti A., San Pietro P. ACM Trans. Software Engineering and Methodology 29.04.1994
СТ A Model Parametric Real-Time Logic 1992 Morzenti A., Mandrioli D., Ghezzi C. ACM Trans. Programming Languages and Systems 10.12.1992
СТ Validating Real-Time Systems by Executing Logic Specifications 1992 Morzenti A. Lecture Notes in Computer Science 08.08.1992