Franck Cassez - Visiting Researcher
Trustworthy Embedded Systems Project
Research Interests
Franck's research interests include infinite state systems, semantics of reactive and timed systems, and verification and control of timed systems.
Contact Details
| Phone: | +61 2 02 8306 2561 |
|---|---|
| Email: | Franck.Cassez@nicta.com.au |
More contact information is available at the ERTOS Contacts page.