Book Description:
Title: - Modeling And Verification Using Uml Statecharts A Working Guide To Reactive System Design Runtime Monitoring And Execution Based Model Checking Author Doron
File Type: PDF EPUB MOBI.
Size: 7405 KB
Rating: 4.6/5 from 187 votes
Recent Member Activity