Logical Time Models to Study Cyber-Physical Systems.

Hassan Khalil El Zein, Grygoriy Zholtkevych

Browse the full ICTERI paper archive.