Map
Index
Random
Help
th

Quote: modeling with finite state machines is practical; TOPD discourages elaborate models by full expression of state transitions

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



Topic:
state machine
Topic:
model checker

Quotation Skeleton

Something we have shown, is that the modeling … of the principal reasons for this, we believe, … of [state] transitions.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: state machine (67 items)
Topic: model checker (49 items)

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