Invariant condition generation device, computer program, invariant condition generation method, and method for producing program code
WO2017135212
Art A1
10. August 2017
Anmelder: Kyoto University 🇯🇵
Details
- Veröffentlichungs-Nr.
- WO2017135212
- Aktenzeichen
- EP17747368
- Anmeldetag
- 31. Januar 2017
- Veröffentlichung
- 10. August 2017
- Rechtsraum
- WO
- IPC
- G06F11/36
Abstract
Für dieses Patent liegt uns kein Abstract vor.
Anmelder
- Firma
- Kyoto University
- Land
- 🇯🇵 Japan
🇯🇵
Kyoto University
Renommierte japanische Universität mit breiter Grundlagenforschung in Naturwissenschaften, Medizin und Ingenieurwesen.
1.706 Patente in unserer Datenbank
Fachgebiete
Vertreten von
Kein Vertreter erfasst.