Map
Index
Random
Help
th

Quote: the VFSM simulator generates message sequence charts showing states, inputs, outputs, and communications; with seqflow, it documents the behavior of a module

topics > all references > references e-f > QuoteRef: florAR1_1997 , p. 107



Topic:
model checker
Topic:
communicating sequential processes
Topic:
design documentation

Quotation Skeleton

During execution, the [VFSM] simulator produces message sequence … been mapped, and which variables have been set. … display the results. In this way, a VFSM … [These] Message sequence charts are a powerful tool …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: model checker (49 items)
Topic: communicating sequential processes (33 items)
Topic: design documentation (43 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.