Universität der Bundeswehr München: AtheneForschung
Logo
Benutzer: Gast  Login
Dokumenttyp:
Patent 
Patentnummer:
DE102021101876 
Erfinder:
Nenchev, Vladislav 
Patentanmelder:
Bayerische Motoren Werke Aktiengesellschaft 
Titel:
Formale Verifikation eines Programms eines Steuergeräts 
Anmeldeland:
Deutschland 
Anmeldenummer:
102021101876 
Datum der Patentanmeldung:
28.01.2021 
Veröffentlichungsdatum:
28.07.2022 
Jahr:
2021 
Sprache:
Deutsch 
IPC-Hauptklasse:
G06F 30/3323