Jump To :
Titles
Formal methods (Comptuer science)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Modeling and verification using UML statecharts : A working guide to reactive system design, runtime monitoring and execution-based model checking
by:
Drusinsky, Doron
(Language materials, printed)