• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Developing Assurance Cases for D-MILS Systems.

Richard HawkinsTim KellyIbrahim 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