RT-ASLAN

swMATH30491MaRDI QIDQ42205FDOQ42205

Author name not available (Why is that?)

Cited In (3)

• Requirements specifications checking of embedded real time software
• A specification-oriented semantics for the refinement of real-time systems
• A wide-spectrum language for object-based development of real-time systems

This page was built for software: RT-ASLAN