Example Finite-State Machine with Fault g

Example Finite-State Machine with Fault g

in

ps(3)'

ps(1)'

ps(2)

ps(2)'

in'

ps(1)

ns(1)

ns(2)

ns(3)

out

g stuck-at-1

Previous slide Next slide Back to the first slide View Graphic Version