Two Semantic Models for Clock Relations in the Clock Constraint Specification Language
type: Dataset
description: International audience
identifier: ISBN: 978-3-319-03997-8
issued: 2026-05-07T13:59:06.509718
language: en
modified: 2026-05-07T13:59:06.509723
contact point: Organization
  fn: CCSD
keyword: book-sections
keyword: ccsl
keyword: infoeu-reposemanticsbookpart
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: marte
keyword: semantics
landing page: Communications in Computer and Information Science

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language
type: Distribution
format: HTML
issued: 2026-05-07T13:59:06.513461
modified: 2026-05-07T13:59:06.502089
access URL: https://inria.hal.science/hal-00926297

test_moissonnage_selune
type: Agent