Home
Team
Teaching
Research
Contact
Openings
Available Theses
HiWi Calls
PhD and PostDoc Positions
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things
Internet Measurements
Publications
Year:
All
::
2017
All
2017
Author:
All
::
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
Ö
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
,
W
,
X
,
Y
,
Z
All
::
Zähl
,
Zeissig
,
Zemanek
,
Zeng
, ... ,
Zitterbart
Z*
Zähl
Zeissig
Zemanek
Zeng
Zhang
Zhou
Ziefle
Ziegeldorf
Ziemann
Zimmermann
Zinnen
Zinner
Zitterbart
1.
Daniel Liew
,
Daniel Schemmel
,
Cristian Cadar
,
Alastair Donaldson
,
Rafael Zähl
, and
Klaus Wehrle
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
October 2017
ISBN: 978-1-5386-2684-9/17
Export as:
BibTeX
,
XML
-
Impressum
|
Datenschutz
-