Login / Signup
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.
Thanh Hai Nguyen
Matthew Bundas
Tran Cao Son
Marcello Balduccini
Kathleen Campbell Garwood
Edward R. Griffor
Published in:
Theory Pract. Log. Program. (2023)
Keyphrases
</>
learning algorithm
machine learning
lightweight
theoretical framework
computational framework
data sets
e learning
high level
multi class
logic programs