| ______________________________________________________________________________________________ |
| |
| WATERS 2016 |
| |
| International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems |
| |
| |
| https://waters2016.inria.fr/ |
| |
| |
| |
| WATERS community forum |
| |
| http://ecrts.eit.uni-kl.de/forum/viewforum.php?f=4 |
| |
| |
| ______________________________________________________________________________________________ |
| |
| FMTV 2016 |
| |
| Formal Methods for Timing Verification (FMTV) challenge |
| |
| |
| http://waters2016.inria.fr/challenge/ |
| |
| |
| |
| The 2016 FMTV Challenge (BOSCH) |
| |
| |
| http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=27&t=62 |
| http://ecrts.eit.uni-kl.de/forum/download/file.php?id=35 |
| |
| ______________________________________________________________________________________________ |