Login / Signup
Formalizing Requirements Is \Diamond \Box Hard.
Gerard J. Holzmann
Published in:
From Reactive Systems to Cyber-Physical Systems (2019)
Keyphrases
</>
artificial neural networks
functional requirements
real time
data sets
neural network
feature selection
search algorithm
requirements engineering