Speaker
Sobhan Chatterjee
Talks at this conference:
| Fri, 14:00 | Synchronous Observers Revisited for Runtime Verification of Lustre Using STL Live |
Sponsored by:
Formal Methods Europe
Speaker
| Fri, 14:00 | Synchronous Observers Revisited for Runtime Verification of Lustre Using STL Live |