Matthias Pasquier, Frédéric Jouault, Matthias Brun 0001, Julien Pérochon. Evaluating tool support for embedded operating system security: an experience feedback. In Esther Guerra, Ludovico Iovino, editors, MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings. ACM, 2020. [doi]
Abstract is missing.