Joint Conference
Formal Modelling and Analysis of Timed Systems (FORMATS)
Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT)
Invited Speakers
Greg 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.