Design and Proof of Communicating Sequential Processes.

E. Pascal Gribomont

Published in: PARLE (2) (1987)

Keyphrases

machine learning
case study
building blocks
database
social networks
multiscale
low cost
design process
computer aided
theorem proving
design methodology
support systems