Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
Zbigniew Huzar, Anita Walkowiak-Gall · InTech eBooks · 2012
A specific methodological aspect of real-time system specification is also considered.Namely, very often, in addition to an explicit description of the behavior of the system, additional properties such as safety and liveness, are taken into account.Usually, the www.intechopen.com