Distributed automated synthesis of correct-by-construction controllers

WO2020070206 Art A1 9. April 2020

Anmelder: TECHNISCHE UNIVERSITÄT MÜNCHEN 🇩🇪

Details

Veröffentlichungs-Nr.: WO2020070206
Aktenzeichen: EP19778545
Anmeldetag: 2. Oktober 2019
Veröffentlichung: 9. April 2020
Rechtsraum: WO
IPC: G05B19/042G06F8/30

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: TECHNISCHE UNIVERSITÄT MÜNCHEN
Land: 🇩🇪 Deutschland

🇩🇪 Technische Universität München

Deutsche technische Universität mit Sitz in München, betreibt Forschung und Lehre in Ingenieur-, Natur- und Lebenswissenschaften sowie Medizin.

938 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung Steuerungs- & Regelungstechnik

Vertreten von

Kein Vertreter erfasst.

Noch Fragen?

Wir helfen Ihnen gerne weiter. Schreiben Sie uns einfach.

Kontakt aufnehmen