L. Andriantsiferana

According to our database, L. Andriantsiferana authored at least 2 papers between 1995 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.

L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1995

Specification and Validation of Multimedia Protocols using RT-LOTOS.

Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995