The following pages link to Johannes Faber (Q939169):
Displayed 4 items.
- Model checking duration calculus: a practical approach (Q939170) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- Model Checking Duration Calculus: A Practical Approach (Q3525159) (← links)
- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (Q3608886) (← links)