Quantitative Modelling and Analysis

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Conference object , Article 01 Jan 2012 Netherlands Publisher:Springer Berlin Heidelberg

Authors: Joost-Pieter Katoen; Kim Guldstrand Larsen;

doi: 10.1007/978-3-642-34032-1_27

Quantitative Modelling and Analysis

- Summary
- Subjects
- Metrics

Abstract

Quantitative models and quantitative analysis in Computer Science are currently intensively studied, resulting in a revision of the foundation of Computer Science where classical yes/no answers are replaced by quantitative analyses. The potential application areas are huge, e.g., performance analysis, operations research or embedded systems. This field covers extended automata-based models that permit to reasons about quantities. Over the past, one has mainly distinguished between real-time and stochastic extensions of automata.

Country

Netherlands

Related Organizations

Keywords

2024 OA procedure

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average