A Toolset for Modelling and Verification of GALS Systems.

S. Ramesh Sampada Sonalkar Vijay D'Silva Naveen Chandra B. Vijayalakshmi

Published in: CAV (2004)

Keyphrases

building blocks
computer vision
information systems
expert systems
management system
information technology
intelligent systems
complex systems
formal methods
signature verification
systems require
automated verification