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

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking 著者: Drusinsky, Doron 出版 Newnes. 以下のデジタルおよびeTextbook ISBNs: Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking : 9780750679497, 9780080481470, 0080481477 および 印刷版のISBNは 9780750679497, 0750679492. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking 著者: Drusinsky, Doron 出版 Newnes. 以下のデジタルおよびeTextbook ISBNs: Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking : 9780750679497, 9780080481470, 0080481477 および 印刷版のISBNは 9780750679497, 0750679492. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。