Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems

Wiktor B. Daszczuk. Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems. Sensors, 22(3):1157, 2022. [doi]

Abstract

Abstract is missing.