Evaluation method of software reliability based on SPN model

DOI10.1007/s11859-016-1166-5zbMath1363.68040OpenAlexW2469683725MaRDI QIDQ2825282

Xuan Zhu, Ping Pan, Xinyue Mao

Publication date: 6 October 2016

Published in: Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11859-016-1166-5

zbMATH Keywords

softwarereliabilityevaluationstochastic Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• A Complexity Measure
• Unnamed Item

This page was built for publication: Evaluation method of software reliability based on SPN model