VERSA

MaRDI QIDQ33200swMATHFDO

Official website http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.8018

Cited in

(12)

• A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
• A process algebra of communicating shared resources with dense time and priorities
• SIGREF
• BISIMULATOR
• M-TREE
• APNN-Toolbox
• TVT
• fc2tools
• Concurrency Workbench
• Mec 5
• CARTS
• mCRL

This page was built for software: VERSA