mediaTUM - Medien- und Publikationsserver

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
URL zum Volltext:: https://register.dpma.de/DPMAregister/pat/register?AKZ=1020211018765&CURSOR=0

Vorkommen: