8 records found
1
Transformation of UML specification to XTG
Application of parametric model checking-the root contention protocol
Specification of real-time systems in UML
ACL: an approach to formal verification of real time systems
Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm
Experiments in using model checking for schedulability analysis
Experiments with parametric verification of real-time systems
An approach towards formal verification of object-oriented real-time systems
