Beitrag zur Modellierung, Implementierung und Bewertung eines Konzepts zur Übersetzung und Validierung sicherheitsgerichteter Software
2018. XII, 167 S. 21 cm
Verlag/Jahr: KASSEL UNIVERSITY PRESS 2018
ISBN: 3-7376-5047-0 (3737650470)
Neue ISBN: 978-3-7376-5047-2 (9783737650472)
Ziel dieser Arbeit ist die Entwicklung eines gesamtheitlichen Ansatzes, der die Phasen der Übersetzung eines Quellcodes zum binär kodierten Programm und die Phasen zum Wiederherstellen des ursprünglichen Quellcodes aus dem binär kodierten Programm ermöglicht.