Model checking parameterized threads for safety

WO2008043005 Art A1 10. April 2008

Anmelder: NEC Laboratories America, Inc. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2008043005
Aktenzeichen: EP07843804
Anmeldetag: 4. Oktober 2007
Veröffentlichung: 10. April 2008
Rechtsraum: WO
IPC: G06F9/06

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