Login / Signup
Elena Ratto
Publication Activity (10 Years)
Years Active: 1991-1996
Publications (10 Years): 0
</>
Publications
</>
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)
Emanuele Ciapessoni
,
Edoardo Corsetti
,
Manlio Migliorati
,
Elena Ratto
,
Ernani Crivelli
Specifying Industrial Real-Time Systems with a Temporal Logic Framework.
Int. J. Softw. Eng. Knowl. Eng.
6 (1) (1996)
Emanuele Ciapessoni
,
Edoardo Corsetti
,
Manlio Migliorati
,
Elena Ratto
Specifying industrial real-time systems in a logical framework.
ICLP Workshop: Applications of Logic Programming to Software Engineering
(1994)
Emanuele Ciapessoni
,
Edoardo Corsetti
,
Manlio Migliorati
,
Elena Ratto
Logical Specification of Real-Time Granular Systems in an Object Oriented Language.
IJCAI
(1993)
Angelo Montanari
,
Enrico Maim
,
Emanuele Ciapessoni
,
Elena Ratto
Dealing with Time Granularity in the Event Calculus.
FGCS
(1992)
Edoardo Corsetti
,
Ernani Crivelli
,
Dino Mandrioli
,
Angelo Montanari
,
Angelo Morzenti
,
Pierluigi San Pietro
,
Elena Ratto
Dealing with different time scales in formal specifications.
IWSSD
(1991)
Edoardo Corsetti
,
Angelo Montanari
,
Elena Ratto
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems.
Real Time Syst.
3 (2) (1991)
Angelo Montanari
,
Elena Ratto
,
Edoardo Corsetti
,
Angelo Morzenti
Embedding time granularity in logical specifications of real-time systems.
RTS
(1991)