Verifying next generation electronic systems (bibtex)
by R. Drechsler, D. Große
Reference:
R. Drechsler, D. Große, "Verifying next generation electronic systems", In 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), pp. 6-10, 2017.
Bibtex Entry:
@INPROCEEDINGS{8285965,
author={R. Drechsler and D. Große},
booktitle={2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS)},
title={Verifying next generation electronic systems},
year={2017},
pages={6-10},
keywords={formal verification;safety-critical software;consumer devices;next generation electronic systems;safety-critical systems;easecrc_cognitive_arch_systems},
doi={10.1109/ICTUS.2017.8285965},
month={Dec}
}
Powered by bibtexbrowser