![](/img/cover-not-exists.png)
[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Monitor Synthesis for Parametric MTL Properties in Discrete Control Software
Shi, Hao, Dong, Wei, Zhou, Ge, Yin, LiangzeYear:
2017
Language:
english
DOI:
10.1109/QRS-C.2017.66
File:
PDF, 425 KB
english, 2017