legOS

swMATH21176MaRDI QIDQ32988FDOQ32988

Author name not available (Why is that?)

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