ISDN telephony teleservice and call waiting.¶
CONVECS, I. ISDN telephony teleservice and call waiting. CADP Case Studies.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Language of Temporal Ordering Specification
- … and verified against its expected service; Philips' Bounded Retransmission Protocol was translated to LOTOS and checked by equivalence plus safety and liveness properties; an ISDN telephony and call-waiting study used staged LOTOS specification and verification to expose ambiguity in informal recommendations.
This sourceIndustrial telecommunications specification and staged verification.
- … and verified against its expected service; Philips' Bounded Retransmission Protocol was translated to LOTOS and checked by equivalence plus safety and liveness properties; an ISDN telephony and call-waiting study used staged LOTOS specification and verification to expose ambiguity in informal recommendations.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:c50626d6dbb6 · see in the full table