Media type: E-Book Title: Formale Verifikationsmethode für reale Schaltungen und Systeme Contributor: Denguir, Mohamed [Author]; Sattler, Sebastian [Degree supervisor]; Sattler, Sebastian [Other] Published: Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2019 Extent: Online-Ressource Language: German Identifier: Keywords: Schaltsystem ; Datenmodell ; Flussdiagramm ; Fehlerbaum ; Big Data ; Digitalschaltung Origination: University thesis: Dissertation, Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2019 Footnote: Access State: Open Access