Interrupt Timed Automata: verification and expressiveness
type: Dataset
description: International audience
issued: 2026-05-23T07:28:32.773347
language: en
modified: 2026-05-23T07:28:32.773352
contact point: Organization
  fn: CCSD
keyword: decidability-of-reachability
keyword: hybrid-automata
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: infoinfo-mocomputer-science-csmodeling-and-simulation
keyword: interrupts
keyword: journal-articles
keyword: model-checking
keyword: multi-task-systems
keyword: real-time-properties
keyword: timed-automata
landing page: 0925-9856

Interrupt Timed Automata: verification and expressiveness
type: Distribution
format: HTML
issued: 2026-05-23T07:28:32.823274
modified: 2026-05-23T07:28:32.739678
access URL: https://hal.science/hal-00683279

test_moissonnage_selune
type: Agent