Author:
Dams Dennis,Havelund Klaus,Kauffman Sean
Publisher
Springer Nature Switzerland
Reference39 articles.
1. Aad, I., Niemi, V.: NRC data collection campaign and the privacy by design principles. In: Proceedings of the International Workshop on Sensing for App Phones (PhoneSense 2010) (2010)
2. Ancona, D., Franceschini, L., Ferrando, A., Mascardi, V.: RML: theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205, 102610 (2021)
3. Lecture Notes in Computer Science;H Barringer,2004
4. Lecture Notes in Computer Science;H Barringer,2011
5. Lecture Notes in Computer Science;H Barringer,2007
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献