Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Synthesis of totally self-checking asynchronous automata - MaRDI portal

Synthesis of totally self-checking asynchronous automata

From MaRDI portal

Publication:1133523

Jump to:navigation, search

zbMath0421.94034MaRDI QIDQ1133523

Vl. V. Sapozhnikov, V. V. Sapozhnikov

Publication date: 1979

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

design of stable fail-safe asynchronous automata detecting single faults

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Checking combinational circuits by the method of logic complement

This page was built for publication: Synthesis of totally self-checking asynchronous automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1133523&oldid=13183393"