Patent Assignment
Reel/Frame 041637/0845
Assignment of Assignor's Interest
Recorded: 2017-02-06
Pages: 3
Assignors
NGUYEN, DINH QUOC THANG
Executed: 2017-02-02
HAFNER, UDO
Executed: 2017-02-02
REIDL, CHRISTIAN
Executed: 2017-02-02
Assignee
INFINEON TECHNOLOGIES AUSTRIA AG
SIEMENSSTRASSE 2, VILLACH, 9500, AUSTRIA
Covered Property
(1)
Requirement Runtime Monitor Using Temporal Logic or a Regular Expression