L. Picci

According to our database, L. Picci authored at least 1 paper in 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