• 题名: Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
    作者: Doron Drusinsky
    索书号: http://www.sciencedirect.com/science/book/9780750679497
在架