Title :
Specification and validation of services and protocols for a public land mobile ISDN system
Author :
Hansson, Hans ; Orava, Fredrik ; Pehrson, Bjorn
Author_Institution :
Dept. of Comput. Syst., Uppsala Univ., Sweden
Abstract :
A public land mobile network (PLMN) proposed by CEPT is presented. A subset of the PLMN protocol architecture is described, and its formal validation (verification) is outlined. The PLMN validation illustrates that by considering validation already in the specification phase, it is possible to verify complex communication systems
Keywords :
ISDN; mobile radio systems; protocols; architecture; protocols; public land mobile ISDN system; services; validation; Abstracts; Computer architecture; Computer science; Costs; Europe; Guidelines; ISDN; Mobile computing; Open systems; Protocols;
Conference_Titel :
Electrotechnics, 1988. Conference Proceedings on Area Communication, EUROCON 88., 8th European Conference on
Conference_Location :
Stockholm
DOI :
10.1109/EURCON.1988.11142
