Conformance testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3472 LNCS, Issue , 2005, Pages 87-111

  Gargantini, Angelo ^a  

^a UNIVERSITY OF CATANIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; COST EFFECTIVENESS; DATA STRUCTURES; FAULT DETECTION; FINITE AUTOMATA;

CONFORMANCE TESTING; TRANSITION TOUR (TT) METHODS;

MODEL CHECKING;

EID: 34548110009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11498490_5     Document Type: Conference Paper

References (0)