Generalized Quantitative Analysis of Metric Transition Systems

DOI10.1007/978-3-319-03542-0_14zbMath1426.68170OpenAlexW2220911105MaRDI QIDQ2937791

Uli Fahrenberg, Axel Legay

Publication date: 12 January 2015

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-03542-0_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Quantitative safety and liveness ⋮ Compositionality for quantitative specifications

This page was built for publication: Generalized Quantitative Analysis of Metric Transition Systems