Patent Assignment
Reel/Frame 042237/0593
Assignment of Assignor's Interest
Recorded: 2017-05-04
Pages: 3
Assignor
YAKUWA, YUTAKA
Executed: 2017-04-14
Assignee
NEC CORPORATION
7-1, SHIBA 5-CHOME, MINATO-KU, TOKYO, JAPAN
Covered Property
(1)
Model Checking Apparatus, Model Checking Method, and Storage Medium
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.