Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
| Основен автор: | Drusinsky, Doron. |
|---|---|
| Автор-организации: | ebrary, Inc. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
Burlington, MA :
Newnes,
c2006.
|
| Предмети: | |
| Онлайн достъп: |
An electronic book accessible through the World Wide Web; click to view |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
An electronic book accessible through the World Wide Web; click to view |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA76.76.D47 D78 2006eb |
|---|