На данной странице предаставлены все книги автора «Doron Drusinsky»
Practical UML-based Specification, Validation, and Verification of Mission-critical Software (Doron Drusinsky)
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking (Doron Drusinsky)