Login / Signup
Modeling and Verification of Memory Architectures with AADL and REAL.
Stéphane Rubini
Frank Singhoff
Jérôme Hugues
Published in:
ICECCS (2011)
Keyphrases
</>
memory usage
model checking
random access
databases
real life
database
data sets
machine learning
artificial intelligence
search engine
mobile robot
object oriented
formal methods
memory size