Some Notes on the Verification of the Exposure Limits in 5G Systems.

Marco Donald Migliore

Published in: M&N (2019)

Keyphrases

management system
distributed systems
formal methods
database
complex systems
computing systems
real time
information systems
relational databases
intelligent systems
computer systems
building blocks
learning systems
automated verification