A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
Under an Elsevier user license
open archive
Keywords
CSP+T
Formal specification
Real-time software systems
UML-RT
Cited by (0)
Copyright © 2006 Elsevier B.V. All rights reserved.