Real-time system = discrete system + clock variables
type: Item
instance of: scholarly article
title: Real-time system = discrete system + clock variables
zbMATH Open document ID: 1060.68605
author: Rajeev Alur
author: Thomas A. Henzinger
published in: International Journal on Software Tools for Technology Transfer. STTT
publication date: 1997-01-01T00:00:00Z
full work available at URL: https://hdl.handle.net/1813/6181
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 1862296
zbMATH Keywords: real-time systems
zbMATH Keywords: real-time programs
zbMATH Keywords: clock variables
zbMATH Keywords: semantics and verification
describes a project that uses: TLA
describes a project that uses: Kronos
describes a project that uses: Uppaal
MaRDI profile type: Publication
OpenAlex ID: W1978695822
DOI: 10.1007/S100090050007
description: scientific article; zbMATH DE number 1862296