RT-ASLAN
From MaRDI portal
Software:42205
No author found.
Related Items (3)
A specification-oriented semantics for the refinement of real-time systems ⋮ A wide-spectrum language for object-based development of real-time systems ⋮ Requirements specifications checking of embedded real time software
This page was built for software: RT-ASLAN
