| |
| 1997 | ||
|---|---|---|
| 2 | 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 | |
| 1995 | ||
| 1 | EE | Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana: Specification and Validation of Multimedia Protocols using RT-LOTOS. FTDCS 1995: 354-362 |
| 1 | Jean-Pierre Courtiat | [1] [2] |
| 2 | Roberto C. de Oliveira | [1] [2] |
| 3 | L. Picci | [2] |