Author:
ter Beek Maurice H.,Gnesi Stefania,Koch Nora,Mazzanti Franco
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Contract Automata Library;Science of Computer Programming;2022-09
2. Automotive Service-oriented Architectures: a Systematic Mapping Study;2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA);2022-08
3. Automotive Post-Collision Control Software System: Requirements and Verification;Programming and Computer Software;2021-12
4. A Location-Based Factorization Machine Model for Web Service QoS Prediction;IEEE Transactions on Services Computing;2021-09-01
5. The Legacy of Stefania Gnesi;From Software Engineering to Formal Methods and Tools, and Back;2019