A framework for automatic generation of security controller.

Fabio Martinelli Ilaria Matteucci

Published in: Softw. Test. Verification Reliab. (2012)

Keyphrases

real time
theoretical framework
control system
mobile robot
data sets
lightweight
main contribution
control strategy
dynamic model
conceptual framework
security issues
security requirements
security analysis