SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems.

Yves Roudier Ludovic Apvrille

Published in: MODELSWARD (2015)

Keyphrases

formal methods
data sets
information retrieval
web services
management system
retrieval systems
high speed
learning systems
building blocks
distributed systems
formal specification
knowledge based systems
computer systems
intelligent systems
low cost
neural network
databases