Formalisation of an Industrial Approach to Monitoring Critical Data.

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala

Browse the full SAFECOMP paper archive.