Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking

Enregistré dans:
Détails bibliographiques
Auteur principal: Drusinsky, Doron
Format: Livre
Langue:Undetermined
Publié: Burlington, MA Newnes 2006
Sujets:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ