8 results on '"Kristoffersen, Kåre"'
Search Results
2. Verification of an Audio Protocol with bus collision using Uppaal
3. Automatic synthesis of real time systems
4. Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems
5. Automated verification of an audio-control protocol using Uppaal
6. Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL
7. Verification of State/Event Systems by Quotienting
8. A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.