Implementation Relations for Stochastic Finite State Machines

DOI10.1007/11777830_9MaRDI QIDQ3613674zbMATH OpenOpenAlexFDO

Authors Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

Publication date 12 March 2009

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

Full work available at URL https://doi.org/10.1007/11777830_9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Testing Finite State Machines Presenting Stochastic Time and Timeouts
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Formal testing from timed finite state machines
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Testing from a stochastic timed system with a fault model

Cited in

(3)

• Testing from a stochastic timed system with a fault model
• Testing Finite State Machines Presenting Stochastic Time and Timeouts
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts

This page was built for publication: Implementation Relations for Stochastic Finite State Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613674)