Author:
Perrone Gian,Debois Søren,Hildebrandt Thomas T.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and verification of software evolution using bigraphical reactive system;Cluster Computing;2024-06-19
2. Towards Using Structural Abstraction for Model Checking;2023 10th International Conference on Dependable Systems and Their Applications (DSA);2023-08-10
3. BRS-based Model for the Specification of Multi-view Point Ontology;Applied Computer Systems;2023-06-01
4. A Fault Tolerance and Recovery Formal Model for IoT Systems;International Journal of Organizational and Collective Intelligence;2022-07-26
5. Verification of cloud system elasticity using BigMC;International Journal of System Assurance Engineering and Management;2022-01-12