Publikation
Christoph Lüth; Martin Ring; Rolf Drechsler
In: Sunil Khatri (Hrsg.). 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on Reliability, Infocom Technologies and Optimization (ICRITO-2017), 6th, September 20-23, Noida, India, IEEE, 9/2017.
@inproceedings{pub9350, author = { Lüth, Christoph and Ring, Martin and Drechsler, Rolf }, editor = { Khatri, Sunil }, title = {Towards a Methodology for Self-Verification}, booktitle = {6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on Reliability, Infocom Technologies and Optimization (ICRITO-2017), 6th, September 20-23, Noida, India}, year = {2017}, month = {9}, publisher = {IEEE} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023