 | 1996 |
|---|
| 5 |       | Oliver Botti,
M. Cesana,
Edoardo Corsetti,
P. Coslett,
J. Hammond,
F. Maestri,
R. Meda,
Elena Ratto,
G. L. Redaelli,
Alan Tully:
SImulation of High-Voltage Substations on Parallel ARchitectures.
HPCN Europe 1996: 935-937 |
| 4 |  | Emanuele Ciapessoni,
Edoardo Corsetti,
Manlio Migliorati,
Elena Ratto,
Ernani Crivelli:
Specifying Industrial Real-Time Systems with a Temporal Logic Framework.
International Journal of Software Engineering and Knowledge Engineering 6(1): 21-61 (1996) |
| 1993 |
|---|
| 3 | | Emanuele Ciapessoni,
Edoardo Corsetti,
Manlio Migliorati,
Elena Ratto:
Logical Specification of Real-Time Granular Systems in an Object Oriented Language.
IJCAI 1993: 881-888 |
| 2 | | Emanuele Ciapessoni,
Edoardo Corsetti,
Angelo Montanari,
Pierluigi San Pietro:
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems.
Sci. Comput. Program. 20(1-2): 141-171 (1993) |
| 1991 |
|---|
| 1 | | Edoardo Corsetti,
Angelo Montanari,
Elena Ratto:
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems.
Real-Time Systems 3(2): 191-215 (1991) |
