00843nam a2200217Ia 4500 CTU_184361 210402s9999 xx 000 0 und d 51.09 005.1 D797 Drusinsky, Doron Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking Doron Drusinsky Burlington, MA Newnes 2006 UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính Development,Phát triển Qhieu Trung tâm Học liệu Trường Đại học Cần Thơ