Login / Signup
The Specification and Design of a Nondeterministic Data Structure Using CCS.
Stuart Richard Matthews
Published in:
Specification and Verification of Concurrent Systems (1988)
Keyphrases
</>
data structure
engineering design
case study
optimal design
genetic algorithm
artificial intelligence
information systems
high level
data model
building blocks
design process
design decisions
modeling language
formal verification