Quick access
News:
05. February 2019
Band 388 in der Verlagsschriftenreihe erschienen

Teilautomatisierte Parameteridentifikation für die Validierung von Dynamikmodellen im modellbasierten Entwurf ...
Publikationen
Nguyen, Lisa;Krüger, Stefan;Hill, Patrick;Ali, Karim;Bodden, Eric:
Copy bibTeX to clipboard
Debugging Static Analysis.
IEEE Transactions on Software Engineering : pp. 1-1, 2018Weblink
https://www.doi.org/10.1109/TSE.2018.2868349Bibtex
@article{key=tse18debugging,
author = {Nguyen, Lisa and Kr{\"u}ger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
title = {Debugging Static Analysis},
journal = {IEEE Transactions on Software Engineering},
pages = {1-1},
year = {2018},
}
author = {Nguyen, Lisa and Kr{\"u}ger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
title = {Debugging Static Analysis},
journal = {IEEE Transactions on Software Engineering},
pages = {1-1},
year = {2018},
}
Copy bibTeX to clipboard