Author:
Aceto Luca,Larsen Kim G.,Morichetta Andrea,Tiezzi Francesco
Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SMT-Based Modeling and Verification of Cloud Applications;Services – SERVICES 2019;2019
2. Enabling Auditing of Smart Contracts Through Process Mining;From Software Engineering to Formal Methods and Tools, and Back;2019
3. Using PVS for Modeling and Verifying Cloud Services and Their Composition;2018 Sixth International Conference on Advanced Cloud and Big Data (CBD);2018-08
4. Runtime Computation of Optimal Offloading Scheduling;2018 6th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (MobileCloud);2018-03