Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions

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 reviews for this publication, yet.