Towards Security-Explicit Formal Modelling of Safety-Critical Systems.

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala

Browse the full SAFECOMP paper archive.