Login / Signup
ABV - A Verifier for the Architecture Analysis and Design Language (AADL).
Stefan Björnander
Cristina Cerschi Seceleanu
Kristina Lundqvist
Paul Pettersson
Published in:
ICECCS (2011)
Keyphrases
</>
distributed architecture
software architecture
image analysis
detailed design
database
design principles
language learning
programming language
management system
natural language
real time
data analysis
knowledge base
engineering design
modeling language
design methodology
data sets
design goals
modular architecture