PLC-automata: A new class of implementable real-time automata
type: Item
instance of: scholarly article
title: PLC-automata: A new class of implementable real-time automata
zbMATH Open document ID: 0954.68085
DOI: 10.1016/S0304-3975(00)00089-X
published in: Theoretical Computer Science
publication date: 2000-12-12T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1542354
zbMATH Keywords: real time
zbMATH Keywords: specification
zbMATH Keywords: formal methods
zbMATH Keywords: duration calculus
zbMATH Keywords: PLC
author: Henning Dierks
describes a project that uses: Uppaal
describes a project that uses: Kronos
MaRDI profile type: Publication
cites work: Q4036557
cites work: A theory of timed automata
cites work: Duration calculus: Logical foundations
cites work: Statecharts: a visual formalism for complex systems
cites work: Q4697483
cites work: Formal development of reactive systems. Case study production cell
cites work: Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
cites work: Q3126783
cites work: A calculus of durations
full work available at URL: s0304-3975(00)00089-x
OpenAlex ID: W2694136767
description: scientific article; zbMATH DE number 1542354