Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions

WO2007076313 Art A2 5. Juli 2007

Anmelder: NEC Laboratories America, Inc. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2007076313
Aktenzeichen: EP06840298
Anmeldetag: 18. Dezember 2006
Veröffentlichung: 5. Juli 2007
Rechtsraum: WO
IPC: G06F9/44

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