Distributed Cyber Physical Systems Software Model Checking Using Timed Automata
Published in the proceedings of 2023 IEEE 26th International Symposium on Real-Time Distributed Computing (ISORC), 2023
Recommended citation: Purboday Ghosh, Gabor Karsai, "Distributed Cyber Physical Systems Software Model Checking Using Timed Automata." In the proceedings of 2023 IEEE 26th International Symposium on Real-Time Distributed Computing (ISORC), 2023.