| Harald Mackamul | b0aa2b7 | 2017-05-10 16:25:34 +0200 | [diff] [blame] | 1 | ______________________________________________________________________________________________ |
| 2 | |
| 3 | WATERS 2016 |
| 4 | |
| 5 | International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems |
| 6 | |
| 7 | |
| 8 | https://waters2016.inria.fr/ |
| 9 | |
| 10 | |
| 11 | |
| 12 | WATERS community forum |
| 13 | |
| 14 | http://ecrts.eit.uni-kl.de/forum/viewforum.php?f=4 |
| 15 | |
| 16 | |
| 17 | ______________________________________________________________________________________________ |
| 18 | |
| 19 | FMTV 2016 |
| 20 | |
| 21 | Formal Methods for Timing Verification (FMTV) challenge |
| 22 | |
| 23 | |
| 24 | http://waters2016.inria.fr/challenge/ |
| 25 | |
| 26 | |
| 27 | |
| 28 | The 2016 FMTV Challenge (BOSCH) |
| 29 | |
| 30 | |
| 31 | http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=27&t=62 |
| 32 | http://ecrts.eit.uni-kl.de/forum/download/file.php?id=35 |
| 33 | |
| 34 | ______________________________________________________________________________________________ |