Method and apparatus for the formal specification and analysis of timing properties in software systems

WO2010042616 Art A1 15. April 2010

Anmelder: NTT DOCOMO, INC. 🇯🇵

Details

Veröffentlichungs-Nr.: WO2010042616
Aktenzeichen: EP09740790
Anmeldetag: 7. Oktober 2009
Veröffentlichung: 15. April 2010
Rechtsraum: WO
IPC: G06F9/44

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: NTT DOCOMO, INC.
Land: 🇯🇵 Japan

🇯🇵 NTT DOCOMO

Japanisches Telekommunikationsunternehmen, betreibt Mobilfunknetze und entwickelt Kommunikationstechnologien sowie mobile Dienste für Endkunden und Unternehmen.

9.789 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von