| 
|
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 >
Topic:
model checker
Quotation Skeleton
The transitions of an operation immediately following a … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)