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. >
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have