legOS

swMATH21176MaRDI QIDQ32988FDOQ32988

Author name not available (Why is that?)

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