TENT: Test Sequence Generation Tool for Communication Systems

• Authors:

• Fumiaki Sato;Kotaro Katsuyama;Tadanori Mizuno

• 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