Doaa Soliman. Verification and Validation of Logic Control Safety Applications: Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen. PhD thesis, Saarland University, 2013. [doi]
@phdthesis{dnb-4193,
title = {Verification and Validation of Logic Control Safety Applications: Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen},
author = {Doaa Soliman},
year = {2013},
url = {http://d-nb.info/1051574749},
researchr = {https://researchr.org/publication/dnb-4193},
cites = {0},
citedby = {0},
school = {Saarland University},
}