Robust parametric reachability for timed automata
type: Item
instance of: scholarly article
title: Robust parametric reachability for timed automata
zbMATH Open document ID: 1184.68337
author: Laurent Doyen
published in: Information Processing Letters
publication date: 2010-01-29T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5664807
zbMATH Keywords: parametric timed automata
zbMATH Keywords: real-time systems
zbMATH Keywords: formal methods
zbMATH Keywords: model checking
zbMATH Keywords: theory of computation
zbMATH Keywords: robustness
zbMATH Keywords: verification
MaRDI profile type: Publication
full work available at URL: j.ipl.2006.11.018
OpenAlex ID: W2077321406
cites work: A theory of timed automata
cites work: Q4938622
cites work: The benefits of relaxing punctuality
cites work: Parametric real-time reasoning
cites work: Q4418693
cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
cites work: Q4736580
cites work: Linear parametric model checking of timed automata
cites work: Q4953401
cites work: Q5590814
DOI: 10.1016/J.IPL.2006.11.018
description: scientific article; zbMATH DE number 5664807