Cited in
(53)- Agent-based forwarding strategies for reducing location management cost in mobile networks
- How to capture dynamic behaviours of dependable systems
- scientific article; zbMATH DE number 1210206 (Why is no real title available?)
- A two-phase cyclic nonhomogeneous Markov chain performability evaluation by explicit approximate inverses applied to a replicated database system
- Response Time Distributions in Networks of Queues
- Stochastic Discrete Event Systems
- FM - a pragmatic tool to model, analyse and predict complex behaviour of industrial systems
- Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods
- Fast computation of bounds for two-terminal network reliability
- scientific article; zbMATH DE number 1219609 (Why is no real title available?)
- Investigating dynamic reliability and availability through state-space models
- Game theoretic modeling and dependability analysis of small cell relays under bandwidth spoofing attack in 5G wireless communication network
- Architecture-based approaches to software reliability prediction
- Performance analysis of probabilistic action systems
- Evaluating layered distributed software systems with fault-tolerant features
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- scientific article; zbMATH DE number 1946769 (Why is no real title available?)
- Stochastic modeling for delay analysis of a VoIP network
- SREPT: software reliability estimation and prediction tool
- PEPSY-QNS
- TimeNET
- DrawNET++
- LeZi-update
- SREPT
- MOTOR
- SMART_
- ExSpect
- PetriNets
- SPNP
- SCUBA
- AToM3
- SPNica
- MulVAL
- ADEPTS
- MOSEL
- scientific article; zbMATH DE number 2156742 (Why is no real title available?)
- Approximate transient analysis of large stochastic models with WinPEPSY-QNS
- scientific article; zbMATH DE number 846276 (Why is no real title available?)
- Towards robust predictive fault-tolerant control for a battery assembly system
- Möbius
- A queueing theoretic approach for performance evaluation of low-power multi-core embedded systems
- Improving network service performance and reliability via links trunking technologies
- A Comparative Cost Analysis of Degradable Location Management Algorithms in Wireless Networks
- OPTIMAL SOFTWARE RELEASE POLICY BASED ON MARKOVIAN PERFECT DEBUGGING MODEL
- scientific article; zbMATH DE number 1629928 (Why is no real title available?)
- scientific article; zbMATH DE number 1008397 (Why is no real title available?)
- A survivability model in wireless sensor networks
- Rough set methods for the synthesis and analysis of concurrent processes
- Architecture-based approach to reliability assessment of software systems
- Closed-form solution of decomposable stochastic models
- A review of attack graph and attack tree visual syntax in cyber security
- Formal reliability analysis of redundancy architectures
- Analysis of the deviation of the nonstationary availability factor of a restorable system from its stationary value
This page was built for software: SHARPE
