Login / Signup
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations.
Pierre Collette
Cliff B. Jones
Published in:
Proof, Language, and Interaction (2000)
Keyphrases
</>
website
real time
genetic algorithm
case study
rapid development
information retrieval
search engine
information technology
decision support
information processing
constraint satisfaction problems
design process
st century