State Assignment for Detecting Erroneous Transitions in Finite State Machines

Markus Damm. State Assignment for Detecting Erroneous Transitions in Finite State Machines. In Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia. pages 483-490, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.