Keyphrases
Formal Foundations
100%
Real-time Scheduling Theory
66%
Real-time Systems
50%
System Analysis
50%
Scheduling Techniques
33%
Temporal Specification
33%
Proof Process
33%
Error-free
16%
Time Constraints
16%
Safety-critical Systems
16%
System Designer
16%
Development Platform
16%
Correctness Proofs
16%
Formal Proof
16%
Formal Techniques
16%
Meta-scheduling
16%
Joint Research
16%
Teaching Objectives
16%
Correct-by-construction
16%
Scheduling Theory
16%
System Design
16%
Computer Science
System Analysis
100%
Real Time Systems
100%
Scheduling Theory
100%
Real Time Scheduling
66%
System Designer
33%
Joint Research
33%
Demonstrate Compliance
33%
Timing Constraint
33%
Development Platform
33%
Safety Critical Systems
33%