legOS

MaRDI QIDQ32988swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066105807522

Cited in

(3)

• 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
• Verification of the legOS scheduler using Uppaal

This page was built for software: legOS