Towards a Formal Approach to Analysing Security of Safety-Critical Systems.

Inna Vistbakka, Elena Troubitsyna

Browse the full EDCC paper archive.