Updatable timed automata
type: Item
instance of: scholarly article
title: Updatable timed automata
zbMATH Open document ID: 1070.68063
author: Patricia Bouyer
author: Catherine Dufourd
author: Emmanuel Fleury
author: A. Petit
published in: Theoretical Computer Science
publication date: 2004-11-12T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 2115297
zbMATH Keywords: emptiness checking
describes a project that uses: HyTech
describes a project that uses: CMC
describes a project that uses: Kronos
describes a project that uses: Uppaal
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.04.003
OpenAlex ID: W2142830749
cites work: Q4038702
cites work: A theory of timed automata
cites work: Event-clock automata: a determinizable class of timed automata
cites work: Parametric real-time reasoning
cites work: Q4417927
cites work: Timed automata and additive clock constraints
cites work: Q2754107
cites work: Q4536359
cites work: Q4264103
cites work: Q4817536
cites work: A compared study of two correctness proofs for the standardized algorithm of ABR conformance
cites work: On the power of non-observable actions in timed automata
cites work: Q4418686
cites work: Q4514735
cites work: Q4035235
cites work: HyTech: A model checker for hybrid systems
cites work: The expressive power of clocks
cites work: Q5592246
cites work: Uppaal in a nutshell
cites work: Q3992568
cites work: Q5590814
cites work: Q3907077
cites work: Kronos: A verification tool for real-time systems
DOI: 10.1016/J.TCS.2004.04.003
description: scientific article; zbMATH DE number 2115297