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. >

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call