Login / Signup
A Verification Approach for GALS Integration of Synchronous Components.
Frederic Doucet
Massimiliano Menarini
Ingolf H. Krüger
Rajesh K. Gupta
Jean-Pierre Talpin
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
real time
web pages
building blocks
data integration
component based architecture
data sets
neural network
information retrieval
artificial intelligence
knowledge base
website
three dimensional
source code
data management
model checking