Validating Voice Communication Requirements Using Lightweight Formal Methods

J. Hörl and B. K. Aichernig

Abstract:

Reference: J. Hörl and B. K. Aichernig. Validating voice communication requirements using lightweight formal methods. IEEE Software, 17(3):21-27, 2000.