Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

by Doron Drusinsky Hardcover details (UK). (see also: eBook (Kindle)) details (USA). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-0-7506-7949-7 ISBN-10: 0-7506-7949-2 Newnes · 2006