Login / Signup
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.
María Alpuente
María-del-Mar Gallardo
Ernesto Pimentel
Alicia Villanueva
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
main contribution
data model
analysis tool
artificial intelligence
website
image analysis
object oriented
learning algorithm
conceptual framework
knowledge base
high level
multi agent
neural network
probabilistic model
medical images
quantitative analysis
context dependent
data mining