- Tytuł:
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
- Autorzy:
-
Cassez, Franck
Jensen, Peter Gjøl
Guldstrand Larsen, Kim - Data publikacji:
- 2021
- Słowa kluczowe:
-
machine theory
hybrid systems
Petri nets
algorithms - Pokaż więcej
- Dostawca treści:
- BazTech