Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
2006 ◽
pp. 170-186
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2020 ◽
Vol 11
(1)
◽
pp. 18-50
◽
Keyword(s):