Sökning: "Joel Ouaknine"
Hittade 1 avhandling innehållade orden Joel Ouaknine.
1. Infinite Structures in Timed Systems
Sammanfattning : Real time systems distinguish themselves by explicitly stating timing constraints in the system specification. This requires specific methods and tools in system design to ensure such constraints. We focus on one of the methods applied in the validation phase, namely formal verification. LÄS MER
Resultatsidor:
1