|
СТ |
Parallel Refinement Mechanisms for Real-Time Systems |
2000 |
Kolano P. Z., Kemmerer R. A., Mandrioli D. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
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 |
|
СТ |
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 |
