author = { Brauer, Jörg AND Lukoschus, Ben AND Ferdinand, Christian AND Grafe, Nicolas AND Hahn, Sebastian AND Kästner, Daniel Verified Systems International GmbH AND Absint Angewandte Informatik GmbH AND Technische Universität Kaiserslautern },

title = { PROFORMA - Analyse der PROpagation von Fehlern durch FORMAle Methoden Schlussbericht : BMBF-Projekt im Rahmen der BMBF-Förderinitiative KMU-innovativ (Informations- und Kommunikationstechnologie) : Laufzeit des Vorhabens: 1. Februar 2018-31. Januar 2020 },

publisher = {[Verified Systems International GmbH]},

keywords = { Forschungsbericht , Formale Methode , Model Checking , Sicherheitsanalyse },

year = {28. Juli 2020},

abstract = {Förderkennzeichen BMBF 01IS17083A-C},

abstract = {Verbundnummer 01182281},

abstract = {Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden},

address = { Bremen },

url = { http://slubdd.de/katalog?TN_libero_mab2 }