DocumentCode
2595788
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
fYear
1988
fDate
13-17 Jun 1988
Firstpage
214
Lastpage
217
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrotechnics, 1988. Conference Proceedings on Area Communication, EUROCON 88., 8th European Conference on
Conference_Location
Stockholm
Type
conf
DOI
10.1109/EURCON.1988.11142
Filename
11142
Link To Document