Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
type: Item
instance of: scholarly article
title: Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
zbMATH Open document ID: 1491.68124
DOI: 10.1007/978-3-030-85172-9_6
author: Stefan Kaalen
author: Mattias Nyberg
author: Olle Mattsson
publication date: 2022-03-24T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 7498044
describes a project that uses: TimeNET
describes a project that uses: StateFlow
describes a project that uses: GreatSPN
describes a project that uses: Matlab
describes a project that uses: SMP-tool
describes a project that uses: MoDeST
MaRDI profile type: Publication
full work available at URL: 978-3-030-85172-9 6
OpenAlex ID: W3194614687
cites work: Q4442937
cites work: Semi-Markov processes and reliability
cites work: Q3237804
cites work: Regenerative stochastic processes
cites work: Modeling and analysis of stochastic systems
cites work: Statecharts: a visual formalism for complex systems
cites work: Markov Renewal Processes with Finitely Many States
cites work: Probability and random processes.
cites work: Q3923308
cites work: Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes
cites work: Q4109064
cites work: Linear Algebra
cites work: Q4772680
cites work: The Lebesgue-Stieltjes Integral
description: scientific article; zbMATH DE number 7498044