| 
|
Quote: modeling with finite state machines is practical; TOPD discourages elaborate models by full expression of state transitions
topics >
all references >
references g-h >
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.
Topic: state machine (67 items)
Topic: model checker (49 items)