An Airborne Requirements Verification Method based on Requirement Elements using CRF.

Yue Shen Yu Li Yuping Zhu Yong Cai Jun Shao

Published in: DSA (2021)

Keyphrases

verification method
temporal logic
model checking
conditional random fields
pairwise
customer requirements

graphical models
infrared
requirements engineering
maximum entropy
information extraction

application specific
design principles
hyperspectral
genetic algorithm
neural network

random fields
information systems
artificial intelligence
database
case study