Applications of fair testing

Authors:
E. Brinksma;A. Rensink;W. Vogler
Affiliations:
Univ. of Twente, Enschede;Univ. of Hildesheim, Hildesheim;-
Venue:
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Year:
1996

Citing 0
Cited 4

The Join Calculus: A Language for Distributed Mobile Programming

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Fair testing

Information and Computation
Fair Π

Electronic Notes in Theoretical Computer Science (ENTCS)
General Refinement, Part One: Interfaces, Determinism and Special Refinement

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract