legOS
From MaRDI portal
Software:32988
No author found.
Related Items (3)
Verification of the legOS scheduler using Uppaal ⋮ Models and formal verification of multiprocessor system-on-chips ⋮ MTCS 2000. Proceedings of the international satellite workshop on models for time-critical systems, State College, University Park, PA, USA, 26 August 2000
This page was built for software: legOS
