Testing Finite State Machines Presenting Stochastic Time and Timeouts

DOI10.1007/978-3-540-75211-0_8zbMath1149.68313OpenAlexW1516540804MaRDI QIDQ3522091

Mercedes G. Merayo, Manuel A. Nunez, Ismael Rodríguez

Publication date: 28 August 2008

Published in: Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)

Full work available at URL: https://eprints.ucm.es/15800/1/22.pdf

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Testing from a stochastic timed system with a fault model

This page was built for publication: Testing Finite State Machines Presenting Stochastic Time and Timeouts