Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(22654)
Fakultäten (HAW)
(1869)
Fakultät für Betriebswirtschaft
(1255)
Fakultät für Elektrotechnik und Technische Informatik
(262)
ETTI 1 - Institut für Physik, Elektrotechnik und Automatisierungstechnik
(182)
ETTI 2 - Institut für Verteilte Intelligente Systeme
(25)
ETTI 3 - Institut für Nachrichtentechnik und Datenübertragungstechnik
(3)
ETTI 4 - Institut für Embedded Systems
(35)
ETTI 5 - Institut für Funkkommunikation
ETTI 6 - Institut für Software Engineering
(16)
Fakultät für Maschinenbau
(354)
Forschungszentren und -initiativen
(2267)
Weitere Einrichtungen
(17)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Patente
Fakultät für Elektrotechnik und Technische Informatik
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:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (HAW)
Fakultät für Elektrotechnik und Technische Informatik
ETTI 4 - Institut für Embedded Systems
Home / Alle Inhalte
Patente
Fakultät für Elektrotechnik und Technische Informatik
Login
