Symbolic Monitoring Against Specifications Parametric in Time and Data
5th Workshop on Monitoring and Testing of Cyber-Physical Systems
- 開催年月日
- 2020年4月13日 - 2020年4月22日
- 記述言語
- 英語
- 会議種別
- 口頭発表(一般)
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- 物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展