Publications
New Publication: Defining a Domain-Specific Language for Behavior Verification of Cyber–Physical Applications
A common problem in the development of Internet-of-Things (IoT) and cyber–physical system (CPS) applications is the complexity of these domains, due to their hybrid and distributed nature at multiple layers (hardware, network, communication, frameworks, etc.). Read more…












