Modelling Hybrid Systems in Hy-tccp

Damian Adalid, Maria-del-Mar Gallardo, and Laura Titolo
November 2014
Type
Conference paper
Publication
Third International Workshop on Formal Techniques for Safety-Critical Systems