Fault masking by multiple timing faults in timed EFSM models

DOI10.1016/J.COMNET.2008.10.025zbMath1178.68091OpenAlexW2036746438MaRDI QIDQ1013256

Mariusz A. Fecko, Yu Wang, Samrat S. Batth, M. Ümit Uyar

Publication date: 17 April 2009

Published in: Computer Networks (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.comnet.2008.10.025

zbMATH Keywords

conformance testingfinite state machinefault modelingfault maskingextended finite state machineExtended Finite State MachinesImplementation Under Testmultiple timerstimed EFSM

Mathematics Subject Classification ID

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

This page was built for publication: Fault masking by multiple timing faults in timed EFSM models