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

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Drusinsky, Doron
Coauteur:	ebrary, Inc
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Burlington, MA : Newnes, c2006.
Onderwerpen:	UML (Computer science) Formal methods (Computer science) Computer software > Development. Electronic books.
Online toegang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gepubliceerd in c2006.

An electronic book accessible through the World Wide Web; click to view

Elektronisch E-boek