Formal Modelling and Analysis of Timed Systems (FORMATS)
Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT)
|Grenoble, France, September 22-24, 2004|
Invited SpeakersGreg Bollella, Sun Microsystems Laboratories.
Paul Feautrier. LIP, Ecole Normale Supérieure de Lyon, France.
Peter Ryan. School of Computing Science, University of Newcastle upon Tyne, UK.
|Back to main page|