Full-Life Cycle Intent-Driven Network Verification: Challenges and Approaches.

Yanbo Song Chungang Yang Jiaming Zhang Xinru Mi Dusit Niyato

Published in: IEEE Netw. (2023)

Keyphrases

life cycle
power network
product life cycle
business models
service delivery
design process
model checking
requirements engineering
information systems
software engineering
network structure
network design
development life cycle