- Document type:
- Patent
- Patent number:
- DE102021101876
- Inventor:
- Nenchev, Vladislav
- Patent applicant:
- Bayerische Motoren Werke Aktiengesellschaft
- Title:
- Formale Verifikation eines Programms eines Steuergeräts
- Country of patent application:
- Deutschland
- Application number:
- 102021101876
- Date of patent application:
- 28.01.2021
- Date of publication:
- 28.07.2022
- Year:
- 2021
- Language:
- Deutsch
- IPC main class:
- G06F 30/3323
- Full text URL:
- https://register.dpma.de/DPMAregister/pat/register?AKZ=1020211018765&CURSOR=0
Login
