Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych. Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. In Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. Volume 412 of Communications in Computer and Information Science, pages 190-209, Springer, 2013. [doi]

Abstract

Abstract is missing.