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