Validation of supplementary services in the context of interoperability.
S. Le Bricquir, A. Lauzanne · Formal Techniques for (Networked and) Distributed Systems · 1994
The purpose of this paper is to demonstrate, using a concrete experiment, how Formal Description Techniques (FDT) can help provide a high level of interoperability in multiservice communication systems.