Verifying next generation electronic systems (bibtex)

by R. Drechsler and D. Große

Reference:

R. Drechsler and 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{DG:2017,
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},
URL = {https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8285965},
keywords={easecrc_cognitive_arch_systems}
}