Login / Signup
L. Andriantsiferana
Publication Activity (10 Years)
Years Active: 1995-1997
Publications (10 Years): 0
</>
Publications
</>
L. Andriantsiferana
,
Jean-Pierre Courtiat
,
Roberto C. de Oliveira
,
L. Picci
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.
FORTE
(1997)
Jean-Pierre Courtiat
,
Roberto C. de Oliveira
,
L. Andriantsiferana
Specification and Validation of Multimedia Protocols using RT-LOTOS.
FTDCS
(1995)