Derivation of Test Cases for LAP-B from a LOTOS Specification

• Authors:

• Djaffar Gueraichi;Luigi Logrippo

• Affiliations:

• -;-

• Venue:
• FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
• Year:
• 1989