Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /

Saved in:

書目詳細資料
主要作者:	Drusinsky, Doron
企業作者:	ebrary, Inc
格式:	電子電子書
語言:	英语
出版:	Burlington, MA : Newnes, c2006.
主題:	UML (Computer science) Formal methods (Computer science) Computer software > Development. Electronic books.
在線閱讀:	An electronic book accessible through the World Wide Web; click to view
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

因特網