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