Modeling and Verification Using Uml Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking
ISBN: 9780080481470
Information Available:
Summary
Excerpt
Cover Image
Copyright held by Baker & Taylor.