Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | Undetermined |
| Publicerad: |
Burlington, MA
Newnes
2006
|
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
Search Result 1
av Drusinsky, Doron
Publicerad 2006
Publicerad 2006
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ