Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.

Hubert Garavel Damien Thivolle

Published in: SPIN (2009)

Keyphrases

management system
knowledge based systems
learning systems
complex systems
computer systems
process model
model checking
expert systems
software engineering
distributed systems
building blocks
expressive power
cross lingual
multimodal biometrics
automated verification