This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-04-20
Creation time: 10-23-40
--- Number of references
2
inproceedings
2017-liew-schemmel-fp
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
2017
10
30
symbiosys
file:1848
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Urbana-Champaign, IL, USA
en
978-1-5386-2684-9/17
1
DanielLiew
DanielSchemmel
CristianCadar
AlastairDonaldson
RafaelZähl
KlausWehrle
inproceedings
2017-wirtz-zimmermann-percom-etc
Encrypting Data to Pervasive Contexts
2017
3
13
https://www.comsys.rwth-aachen.de/fileadmin/papers/2017/2017-wirtz-zimmermann-percom-etc.pdf
Online
IEEE
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications (PerCom), Kona, Big Island, HI, USA
en
978-1-5090-4328-6
10.1109/PERCOM.2017.7917877
1
HannoWirtz
TorstenZimmermann
MatteoCeriotti
KlausWehrle