Efficient distributed sat and sat-based distributed bounded model checking

WO2004092870 Art A2 28. Oktober 2004

Anmelder: NEC Laboratories America, Inc. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2004092870
Aktenzeichen: EP04759134
Anmeldetag: 6. April 2004
Veröffentlichung: 28. Oktober 2004
Rechtsraum: WO
IPC: G06F1/00

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