Synthesis of ASM-based Self-Checking Controllers.

Ilya Levin, Vladimir Sinelnikov, Mark G. Karpovsky

Browse the full DSD paper archive.