Refinement modeling and verification of secure operating systems for communication in digital twins
Article in Digital Communications and Networks (April 2024)
The most recent citing publications are shown below. View all 8 publications that cite this research output on Dimensions.
Article in Digital Communications and Networks (April 2024)
Conference proceeding (September 2018)
Article in Journal of Advanced Mathematics and Applications (December 2015)