Jean-Francois Raskin profile picture

Jean-Francois Raskin

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Formal modeling and analysis of timed systems
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Automated Technology for Verification and Analysis