Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
https://www.powershow.com/view4/67bea0-ZWVmY/Timed_I_O_Automata_A_Mathematical_Framework_for_Modeling_and_Analyzing_Real-Time_Systems_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
