Drusinsky, D. (2006). Modeling and verification using UML statecharts: A working guide to reactive system design, runtime monitoring, and execution-based model checking. Newnes.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle Chicago (17th ed.)
Drusinsky, Doron. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking. Burlington, MA: Newnes, 2006.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle MLA (9th ed.)
Drusinsky, Doron. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking. Newnes, 2006.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..