Tags
software architecture
model checking
reliability
behaviroal models
state machines
bug finding
model inference
component models
static analysis
model-based analysis
robotics
ros
program analysis
software engineering
software development
tradeoff
quality attributes
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken