Friendly Testing as a Conformance Relation

Authors:
David de Frutos-Escrig;Luis Fernando Llana Díaz;Manuel Núñez
Affiliations:
-;-;-
Venue:
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Year:
1997

Citing 0
Cited 2

Encoding PAMR into (Timed) EFSMs

FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Preserving contexts for soft conformance relation

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract