[IEEE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - San Diego, CA, USA (2019.11.11-2019.11.15)] 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Model Checking Embedded Control Software using OS-in-the-Loop CEGAR
Kim, Dongwoo, Choi, YunjaYear:
2019
DOI:
10.1109/ase.2019.00059
File:
PDF, 455 KB
2019