Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
2006 ◽
pp. 118-133
◽
Keyword(s):
An Improved Bound for Checking Experiments that Use Simple Input-Output and Characterizing Sequences
1975 ◽
Vol C-24
(6)
◽
pp. 670-673
◽
2021 ◽
Vol 118
(37)
◽
pp. e2104235118
◽
Keyword(s):
1983 ◽
Vol C-32
(2)
◽
pp. 101-108
◽
1971 ◽
Vol C-20
(10)
◽
pp. 1152-1166
◽
1972 ◽
Vol C-21
(6)
◽
pp. 597-598
◽
1979 ◽
Vol C-28
(2)
◽
pp. 153-156
◽
1974 ◽
Vol C-23
(8)
◽
pp. 874-877
◽