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

by

  • Publisher: Newnes
  • Print ISBN: 9780750679497, 0750679492

  • eText ISBN: 9780080481470, 0080481477

  • Pages: 400