2018年
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems
- ,
- ,
- 開始ページ
- 14
- 終了ページ
- 15
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1109/MT-CPS.2018.00014
- リンク情報
-
- DOI
- https://doi.org/10.1109/MT-CPS.2018.00014
- DBLP
- https://dblp.uni-trier.de/rec/conf/cpsweek/WagaHS18
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000502346200008&DestApp=WOS_CPL
- URL
- https://dblp.uni-trier.de/conf/cpsweek/2018mt
- URL
- https://dblp.uni-trier.de/db/conf/cpsweek/mt2018.html#WagaHS18
- ID情報
-
- DOI : 10.1109/MT-CPS.2018.00014
- DBLP ID : conf/cpsweek/WagaHS18
- Web of Science ID : WOS:000502346200008