Author:
Graebener Josefine B.,Badithela Apurva,Murray Richard M.
Publisher
Springer International Publishing
Reference27 articles.
1. Abbas, H., Fainekos, G., Sankaranarayanan, S., Ivančić, F., Gupta, A.: Probabilistic temporal logic falsification of cyber-physical systems. ACM Trans. Embedded Comput. Syst. (TECS) 12(2s), 1–30 (2013)
2. Lecture Notes in Computer Science;Y Annpureddy,2011
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press, Cambridge (2008)
4. Lecture Notes in Computer Science;A Benveniste,2008
5. Benveniste, A., et al.: Contracts for system design. Found. Trends Electron. Des. Autom. 12(2–3), 124–400 (2018)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献