- 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