Login / Signup
An SDR-Based Cybersecurity Verification Framework for Smart Agricultural Machines.
Roberto Caviglia
Giovanni Battista Gaggero
Giancarlo Portomauro
Fabio Patrone
Mario Marchese
Published in:
IEEE Access (2023)
Keyphrases
</>
lightweight
main contribution
model checking
data sets
special case
logic programs
information systems
decision making
data model
multi class
framework enables
verification method