Universität der Bundeswehr München: AtheneForschung
Logo
User: Guest  Login
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