Login / Signup
CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems.
Hugo Fierz
Hansruedi Müller
Spiros Netos
Published in:
SAFECOMP (1993)
Keyphrases
</>
detection method
high accuracy
similarity measure
objective function
software engineering
pairwise
machine learning
preprocessing
artificial intelligence
database systems
significant improvement
reactive systems