Map
Index
Random
Help
th

Quote: in a TOPD model, an operation's transitions should be defined for every state vector generated by TOPD

topics > all references > references g-h > QuoteRef: hendP9_1975 , p. 117



Topic:
model checker

Quotation Skeleton

The transitions of an operation immediately following a …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: model checker (49 items)

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