Login / Signup

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

Grygoriy ZholtkevychFrédéric MalletIryna ZaretskaGalyna Zholtkevych
Published in: ICTERI (Revised Selected Papers) (2013)
Keyphrases
  • specification language
  • semantic models
  • description language
  • formal specification
  • website
  • image retrieval
  • spatial relations
  • database systems
  • programming language
  • temporal relations