Standardization of formal methods in conformance testing of communication protocols

Authors:
Ana R. Cavalli;Jean Philippe Favreau;Marc Phalippou
Affiliations:
-;-;-
Venue:
Computer Networks and ISDN Systems - Special issue on protocol testing
Year:
1996

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
Diagnostic Tests for Communicating Nondeterministic Finite State Machines

ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)

Quantified Score

Hi-index	0.00

Visualization

Abstract