Search found 1 match

by etienneandre
Tue Jul 07, 2015
Forum: Verification challenge
Topic: Verification of two real-time systems using parametric timed automata
Replies: 1
Views: 2418

Web page

Our solution (IMITATOR source and binary), models and results is available at:

http://www.imitator.fr/FMTV15/