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