The following pages link to Tomasz Janowski (Q1595889):
Displaying 5 items.
- Dynamic scheduling and fault-tolerance: Specification and verification (Q1595890) (← links)
- Verification of schedulability for real-time programs (Q1904642) (← links)
- Formalising Feasibility and Correctness of Distributed Business Processes (Q4411497) (← links)
- (Q4412523) (← links)
- (Q4762662) (← links)