Evaluating tool support for embedded operating system security: an experience feedback.

Matthias Pasquier, Frdric Jouault, Matthias Brun, Julien Prochon

Browse the full MODELS paper archive.