Login / Signup
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
José Meseguer
Peter Csaba Ölveczky
Mark-Oliver Stehr
Carolyn L. Talcott
Published in:
DANCE (2002)
Keyphrases
</>
analysis tool
artificial intelligence
wide range
website
database
information retrieval
data analysis
lightweight
main contribution
quantitative analysis