Forward analysis of updatable timed automata
type: Item
instance of: scholarly article
title: Forward analysis of updatable timed automata
zbMATH Open document ID: 1073.68041
DOI: 10.1023/B:FORM.0000026093.21513.31
author: Patricia Bouyer
published in: Formal Methods in System Design
publication date: 2004-09-09T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 2100120
zbMATH Keywords: (updatable) timed automata
zbMATH Keywords: forward analysis algorithm
zbMATH Keywords: widening operator
zbMATH Keywords: correctness
zbMATH Keywords: data structure
describes a project that uses: Kronos
describes a project that uses: Uppaal
describes a project that uses: HyTech
MaRDI profile type: Publication
full work available at URL: b:form.0000026093.21513.31
OpenAlex ID: W1977308797
description: scientific article; zbMATH DE number 2100120