Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin. Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Electronic Notes in Theoretical Computer Science, 164(4):83-96, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.