Verified runtime validation of verified cyber-physical system models

WO2015102717 Art A2 9. Juli 2015

Anmelder: Carnegie Mellon University 🇺🇸

Details

Veröffentlichungs-Nr.: WO2015102717
Aktenzeichen: EP14876395
Anmeldetag: 10. Oktober 2014
Veröffentlichung: 9. Juli 2015
Rechtsraum: WO
IPC: G06F19/00

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: Carnegie Mellon University
Land: 🇺🇸 USA

🇺🇸 Carnegie Mellon University

Carnegie Mellon University ist eine private US-Universität mit Sitz in Pittsburgh, bekannt für Informatik- und Ingenieurforschung. Das Patentportfolio konzentriert sich auf Software und Datenverarbeitung sowie Medizintechnik und Mess-/Prüftechnik. Anmeldungen sind von 2000 bis in die Gegenwart belegt.

726 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von