Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking.
(xsd:string)
Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking.
(xsd:string)