| 
|
Quote: semiautomatically derive sample behavioral models from the TRIO specification of a system
topics >
all references >
references c-d >
Topic:
temporal relationships
Topic:
theorem proving systems
Quotation Skeleton
Given a TRIO specification, sample models can be … [Mandrioli et al, ACM Trans Comput. Syst. 13.4:365-398 1995] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: temporal relationships (40 items)
Topic: theorem proving systems (20 items)