Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Abate, Alessandro; Geeraerts, Gilles; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Algorithms; Software engineering; Programming languages (Electronic computers).; Computer simulation; Computer logic; Mathematical logic; Algorithm Analysis and Problem Complexity; Software Engineering; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Logics and Meanings of Programs; Mathematical Logic and Formal Languages