L. Andriantsiferana

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

Coauthor Index

1	Jean-Pierre Courtiat	[1] [2]
2	Roberto C. de Oliveira	[1] [2]
3	L. Picci	[2]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page