Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Denguir, Mohamed"'
Autor:
Denguir, Mohamed
Die Absicherung der funktionalen Sicherheit von Schaltungen und Systemen geschieht kostengünstig mithilfe von Verifikation. Dabei sollen die der realen Struktur zugehörigen Funktionen strukturtreu modelliert werden. Unter strukturtreuer Modellier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2091::c966123e03ea9b18b2ed3e9352cd5dcb
https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/11747
https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/11747