Accelerating Model Checking Via Synchrony

WO2008137223 Art A1 13. November 2008

Anmelder: NEC Laboratories America, Inc. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2008137223
Aktenzeichen: EP08744296
Anmeldetag: 25. März 2008
Veröffentlichung: 13. November 2008
Rechtsraum: WO
IPC: G06F11/00G06F11/36

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: NEC Laboratories America, Inc.
Land: 🇺🇸 USA

🇺🇸 NEC Laboratories America

NEC Laboratories America ist das US-amerikanische Forschungslabor des japanischen Elektronikkonzerns NEC. Das Portfolio konzentriert sich auf Software und Datenverarbeitung sowie Nachrichtentechnik, ergänzt durch faseroptische Mess- und Sensortechnik. Anmeldungen sind von 2001 bis in die Gegenwart belegt.

863 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von