Author:
Barroca L. M.,McDermid J. A.
Publisher
Oxford University Press (OUP)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A manifesto for applicable formal methods;Software and Systems Modeling;2023-08-18
2. Refinement and Verification for IoT Service Composition;2023 IEEE Symposium on Computers and Communications (ISCC);2023-07-09
3. Formal modelling and verification of scalable service composition in IoT environment;Service Oriented Computing and Applications;2023-05-18
4. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14
5. New Opportunities for Integrated Formal Methods;ACM Computing Surveys;2020-11-30