Real-time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
https://www.powershow.com/view1/8c36c-ZDc1Z/Real-time_Analysis_of_Resource-Constrained_Distributed_Systems_by_Simulation-Guided_Model_Checking_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
