Purboday Ghosh

Purboday Ghosh

PhD Electrical Engineering, Vanderbilt University, 2023

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.

{::comment}Use [Google Scholar](https://scholar.google.com/scholar?q=Distributed+cyber+physical+software+model+checking+using+timed+automata){:target="_blank"} for full citation{:/comment}