Next: About this document ... Up: Validation and Verification of Previous: References
Next: About this document ...
Up: Validation and Verification of
Previous: References
Laurent Thomas is a Research Scientist at the Corporate Research Laboratory of THOMSON-CSF. He is leading a 3 year project on construction and validation of distributed real-time systems, funded by both the French Ministry of Research and the French Ministry of Defense. He received a Ph.D. in Computer Science from University of Nancy, France in 1992, and he spent 2 years at the University of Tokyo in the laboratory of Prof. Yonezawa as a European Post-Doctoral Fellow.
Acknowledgement: This research is partly funded by the
French Ministry of Defense under grant 96.34.448.00.470.75.65 and the
French Ministry of Research under grant 96C0076.