1 paper
Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam +5
Hybrid Rebeca is a modeling framework for asynchronous event-based cyber-physical systems (CPSs). In this work, we extend Hybrid Rebeca to allow the modeling of non-deterministic t…