Author:
Calafato Aaron,Colombo Christian,Pace Gordon J.
Publisher
Springer International Publishing
Reference15 articles.
1. Lecture Notes in Computer Science;K Angelov,2010
2. Calafato, A.: A domain specific property language for fraud detection to support agile specification development. Master’s thesis, University of Malta (2016)
3. Lecture Notes in Computer Science;C Colombo,2015
4. Lecture Notes in Computer Science;C Colombo,2013
5. Colombo, C., Pace, G.J., Abela, P.: Offline runtime verification with real-time properties: a case study. In: Proceedings of WICT 2009 (2009)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献