Continuous modeling of real-time and hybrid systems: From concepts to tools
type: Item
instance of: scholarly article
title: Continuous modeling of real-time and hybrid systems: From concepts to tools
zbMATH Open document ID: 1060.68604
author: Yanyan Li
published in: International Journal on Software Tools for Technology Transfer. STTT
publication date: 1997-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 93A30
zbMATH DE Number: 1862295
zbMATH Keywords: continuous time modeling
zbMATH Keywords: formal methods
zbMATH Keywords: discrete time modeling
zbMATH Keywords: timed automata-based modeling
zbMATH Keywords: drifting clocks
zbMATH Keywords: hybrid systems
describes a project that uses: HyTech
describes a project that uses: Kronos
describes a project that uses: Uppaal
describes a project that uses: CADP
MaRDI profile type: Publication
full work available at URL: s100090050006
OpenAlex ID: W1989956236
DOI: 10.1007/S100090050006
description: scientific article; zbMATH DE number 1862295