Misato NAKABAYASHI

Follow

Person

Tokyo, JP

People

Patents Applicationslast 30 patents

Information Patent Application
FORMAL VERIFICATION APPARATUS, FORMAL VERIFICATION METHOD AND PROGRAM
- Publication number 20250063053
- Publication date Feb 20, 2025
- Nippon Telegraph and Telephone Corporation
- Misato NAKABAYASHI
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
PROGRAM EXECUTION SYSTEM, DATA PROCESSING APPARATUS, PROGRAM EXECUT...
- Publication number 20250016003
- Publication date Jan 9, 2025
- Nippon Telegraph and Telephone Corporation
- Tetsuya OKUDA
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
KEY EXCHANGE SYSTEM, SERVER, METHOD, AND PROGRAM
- Publication number 20240364672
- Publication date Oct 31, 2024
- Nippon Telegraph and Telephone Corporation
- Tetsuya OKUDA
- H04 - ELECTRIC COMMUNICATION TECHNIQUE