Login / Signup
From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis.
Shiyu Yuan
Jingda Yang
Sudhanshu Arya
Carlo Lipizzi
Ying Wang
Published in:
CloudNet (2023)
Keyphrases
</>
low cost
formal analysis
formal methods
high level
natural language processing
information extraction
text mining
question answering
natural language
agent model
artificial intelligence
machine translation
knowledge based systems
specification language
ban logic
databases
word sense disambiguation
wordnet