L. Picci

List of publications from the DBLP Bibliography Server - FAQ

1997

1 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: 433-448

1997
1		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: 433-448

Coauthor Index