The following pages link to legOS (Q32988):
Displaying 3 items.
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Verification of the legOS scheduler using Uppaal (Q2703732) (← links)
- MTCS 2000. Proceedings of the international satellite workshop on models for time-critical systems, State College, University Park, PA, USA, 26 August 2000 (Q5926513) (← links)