Home / Authors / Doron Drusinsky

Books by Doron Drusinsky

All books by this author

2 books found ← Back to Search
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
🇺🇸 United States
Modeling and Verification Using UML Statecharts: A Working …
By: Doron Drusinsky
View Details
Practical UML-based Specification, Validation, and Verification of Mission-critical Software
🇺🇸 United States
Practical UML-based Specification, Validation, and Verifica…
By: Doron Drusinsky
View Details