Developing Assurance Cases for D-MILS Systems.

Richard Hawkins Tim Kelly Ibrahim Habli

Published in: MILS@HiPEAC (2015)

Keyphrases

real time
artificial intelligence
distributed systems
knowledge based systems
multimedia
clustering algorithm
artificial neural networks
computer systems
smart card
systems require