Dyfyniad APA

Drusinsky, D. (2006). Modeling and verification using UML statecharts: A working guide to Reactive System Design, runtime monitoring and execution-based model checking. Burlington, MA: Newnes.

Dyfyniad Arddull Chicago

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.

Dyfyniad MLA

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.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.