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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Drusinsky, Doron
Awdur Corfforaethol: ebrary, Inc
Fformat: Electronig eLyfr
Iaith:Saesneg
Cyhoeddwyd: Burlington, MA : Newnes, c2006.
Pynciau:
Mynediad Ar-lein:An electronic book accessible through the World Wide Web; click to view
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!