Speaker
Valentina Castiglioni
Talks at this conference:
| Wed, 15:30 | Tutorial: the Stark tool Live |
| Fri, 14:30 | Monitoring under uncertainty with DisTL Live |
Sponsored by:
Formal Methods Europe
Speaker
| Wed, 15:30 | Tutorial: the Stark tool Live |
| Fri, 14:30 | Monitoring under uncertainty with DisTL Live |