| 
|
Quote: modeling with a finite state machine is as difficult as programming; will report inconsistencies between model and implementation
topics >
all references >
references g-h >
Topic:
state machine
Topic:
model checker
Quotation Skeleton
Modeling using finite state machines is as difficult … even more when TOPD tells them that their … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: state machine (67 items)
Topic: model checker (49 items)