Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion. A contribution to the validation of complex real-time systems.
2nd International Conference : Sciences of Electronic,Technologies of Information and Telecommunications - SETIT 2004, 2004, Sousse/Tunisie, 8 p.
⟨inria-00108083⟩