Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring.

Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Christer Norstrm

Browse the full COMPSAC paper archive.