Fault measure of discrete event systems using probabilistic timed automata.

Yi-Sheng Huang, Ho-Shan Chiang, MuDer Jeng

Browse the full SMC paper archive.