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
Transition count testing of automata - MaRDI portal

Transition count testing of automata

From MaRDI portal

Publication:799374

Jump to:navigation, search

zbMath0548.68059MaRDI QIDQ799374

Yu. Yu. Bogdanov, I. S. Grunskii

Publication date: 1983

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

zbMATH Keywords

automaton testing procedure transition count testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Transition count testing of automata

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