{Modeling Hybrid Systems in Hy-tccp}

Title{Modeling Hybrid Systems in Hy-tccp}
Publication TypeConference Paper
Year of Publication2014
AuthorsAdalid D, Gallardo M-del-M, Titolo L
Conference NameThird International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014)
URLhttp://arxiv.org/abs/1412.4550