Modeling and Verification Using UML Statecharts
A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model CheckingBy
- Doron Drusinsky
PRIMARY MARKET: Industry training/self-education of Computer Engineers, System Architects, Software Engineers, Embedded System Developers, Electrical Engineers, System Engineers.SECONDARY MARKET: Graduate-level software engineering/embedded systems students at universities and colleges.
Hardbound, 400 Pages
Published: April 2006