XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)（2022）
Key words
X-by-Construction,Model-based development,Real-time systems,Safety-critical systems,Hypervisors
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined