Login / Signup
A static analysis for Brane Calculi providing global occurrence counting information.
Chiara Bodei
Linda Brodo
Roberta Gori
Francesca Levi
Antonio Bernini
Diana Hermith
Published in:
Theor. Comput. Sci. (2017)
Keyphrases
</>
static analysis
global information
information sources
domain knowledge
information extraction
data integration
domain experts
matching algorithm
dynamic analysis