Author:
Dawes Joshua Heneage,Reger Giles,Franzoni Giovanni,Pfeiffer Andreas,Govi Giacomo
Publisher
Springer International Publishing
Reference23 articles.
1. Lecture Notes in Computer Science;E Bartocci,2018
2. Flask for Python.
http://flask.pocoo.org
3. Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: a run-time assurance approach for Java programs. Form. Methods Syst. Des. 24(2), 129–155 (2004)
4. Lecture Notes in Computer Science;K Havelund,2017
5. Meredith, P.O.N., Jin, D., Griffith, D., Chen, F., Rosu, G.: An overview of the MOP runtime verification framework. STTT 14(3), 249–289 (2012)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献