[NT 60476] Jump To :
[NT 60480] Titles
UML (Comptuer science)
[NT 60487] Overview
| [NT 60478] Works: | 1 [NT 60520] works in 1 [NT 60521] publications in 1 [NT 60522] languages | |
|---|---|---|
[NT 60480] Titles
Modeling and verification using UML statecharts : A working guide to reactive system design, runtime monitoring and execution-based model checking
[NT 59711] by:
Drusinsky, Doron
([NT 1579] Language materials, printed)