A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

From MaRDI portal
(Redirected from Publication:869690)