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