(NdIAGNOSTIROWANIE LOGI^ESKIH SHEM (B:s (NaLGORITMY MODELIROWANIQ I AWTOMATI^ESKOGO SINTEZA TESTA (B/s - (NiOFFE(B, (NmIHAIL iZRAILEWI^s; (NiNSTITUT PROBLEM INFORMATIKI an sssrs ((NmOSKWA (B:s (NnAUKA(B,s, 1989)
Keywords: (NwY^ISLITELXNYE SISTEMY CIFROWYEs -- (NlOGI^ESKIE SHEMYs -- (NkONTROLXs; (NwY^ISLITELXNYE SISTEMY CIFROWYEs -- (NpROGRAMMY TESTOWYEs -- (NsINTEZs