Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers
type: Dataset
description: International audience
issued: 2026-05-12T11:54:28.548627
language: en
modified: 2026-05-12T11:54:28.548633
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aucomputer-science-csautomatic-control-engineering
landing page: Proceedings of VECoS'09

Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers
type: Distribution
format: HTML
issued: 2026-05-12T11:54:28.562288
modified: 2026-05-12T11:54:28.539741
access URL: https://hal.science/hal-00801584

test_moissonnage_selune
type: Agent