Optimierung von Bibliotheken zur Validierung von C++ Programmen unter Verwendung von symbolischer Ausführung
EP2479674
Art A1
25. Juli 2012
Anmelder: Fujitsu Limited 🇯🇵
Details
- Veröffentlichungs-Nr.
- EP2479674
- Aktenzeichen
- EP12151511
- Anmeldetag
- 18. Januar 2012
- Veröffentlichung
- 25. Juli 2012
- Rechtsraum
- EP
- IPC
- G06F11/36
Abstract
Für dieses Patent liegt uns kein Abstract vor.
Anmelder
- Firma
- Fujitsu Limited
- Land
- 🇯🇵 Japan
🇯🇵
Fujitsu
Japanisches Unternehmen für Informationstechnik, das Computer, Server, Netzwerktechnik sowie IT-Dienstleistungen und Softwarelösungen entwickelt und anbietet.
17.891 Patente in unserer Datenbank
Fachgebiete
Vertreten von
Wilding, Frances Ward
London, Großbritannien
1.184
Patente gesamt
27
Fachgebiete
8
Anmelder-Länder
Schwerpunkte
Weitere Vertreter
-
Haseltine Lake Kempner LLP
Haseltine Lake Kempner LLP · München
-
Holz, Ulrike
NoneLondon