RT-ASLAN

MaRDI QIDQ42205swMATHFDO

Official website https://ieeexplore.ieee.org/document/6313044

Cited in

(4)

• Requirements specifications checking of embedded real time software
• ASTRAL
• 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