22 records found
1
Embedded software engineering: the state of the practice
Software technologies for embedded systems: an industry inventory
Real-Time model checking based on splitting
A timed automata semantics for Real-Time UML specifications
Transformation of UML specification to XTG
Expressing and verifying timing requirements with UML
Specification of Real-Time properties in UML
Software verification in ground transportation systems
Parametric real-time model checking using splitting trees
Specification of real-time systems in UML
Editorship
Model checking real-time embedded software
Parametric verification of the IEEE 1394a root contention protocol using LPMC
Application of parametric model checking-the root contention protocol
Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm
Specification and verification of a safty shell with statcharts and extended timed graphs
Experiments with parametric verification of real-time systems
Modeling and verification using XTG and PMC
Software engineering
Parametric model-checking in PMC
