C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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