Login / Signup
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides.
Alessandro Cimatti
Rance DeLong
Ivan Stojic
Stefano Tonetta
Published in:
MILS@DSN (2018)
Keyphrases
</>
design process
data driven
design patterns
website
case study
search algorithm
knowledge based systems
computer aided
embedded systems
design methodology