Jump to Navigation

Modeling Hybrid Systems in Hy-tccp

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


Main menu 2

Biblio | by Dr. Radut