Quantitative Evaluation of Systems

Amparore, E. G. (2014). Quantitative Evaluation of Systems.

Type

Unclassified

Intellectual base

Unclassified

Year

2014

DOI

10.1007/978-3-319-10696-0_13

Link

https://doi.org/10.1007/978-3-319-10696-0_13

Cited by

1 citation across 1 artifact.

Domain-specific

• Stochastic Petri net
  • … firing-time distributions or rates, race and priority policy, marking update, reachability graph, induced Markov or semi-Markov process and reward and steady or transient measures are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:28f55f7089b0 · see in the full table