Optimierung von Steuerungsprogrammen zur anwendungsspezifischen Validierung von C++ Programmen unter Verwendung von symbolischer Ausführung
EP2503464
Art A1
26. September 2012
Anmelder: Fujitsu Limited 🇯🇵
Details
- Veröffentlichungs-Nr.
- EP2503464
- Aktenzeichen
- EP12150581
- Anmeldetag
- 10. Januar 2012
- Veröffentlichung
- 26. September 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
Ward, James Norman
München, Deutschland
891
Patente gesamt
27
Fachgebiete
8
Anmelder-Länder
Schwerpunkte