MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration

Masaki Waga, Ichiro Hasuo, Kohei Suenaga. MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. In 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018. pages 14-15, IEEE, 2018. [doi]

Authors

Masaki Waga

This author has not been identified. Look up 'Masaki Waga' in Google

Ichiro Hasuo

This author has not been identified. Look up 'Ichiro Hasuo' in Google

Kohei Suenaga

This author has not been identified. Look up 'Kohei Suenaga' in Google