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