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

by Doron Drusinsky (Author)

• New

  Hardcover
  2006

  $58.81

  Deals with UML verification techniques. In this book, the author compiles all the advanced information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification.