Parametric timing analysis for real-time systems
type: Item
instance of: scholarly article
title: Parametric timing analysis for real-time systems
zbMATH Open document ID: 0872.68041
author: Farn Wang
published in: Information and Computation
publication date: 1997-10-13T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 987864
zbMATH Keywords: TCTL model-checking problem
MaRDI profile type: Publication
OpenAlex ID: W2034124289
DOI: 10.1006/INCO.1996.0086
Recommended article: Timing Parameter Characterization of Real-Time Systems
Recommended article: Specification and timing analysis of real-time systems
Recommended article: Analyzing real-time systems: Theory and tools
Recommended article: Q4994965
Recommended article: Q3128862
Recommended article: Q4346084
description: scientific article; zbMATH DE number 987864