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

    Doron Drusinsky

Click on cover to enlarge.
9 - 10Hours to read