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