Search results for: Hans Rischel
Lecture Notes in Computer Science > Correct System Design > Real-Time Constraints Through the ProCoS Layers > 61-78
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 21-32
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 288-335
Lecture Notes in Computer Science > Hybrid Systems II > 391-404
Lecture Notes in Computer Science
Lecture Notes in Computer Science