Modeling and Analyzing Information Integrity in Safety Critical Systems.

Mohamad Gharib, Paolo Giorgini

Browse the full CaiSE paper archive.