2015 IEEE 16th International Symposium on High Assurance Systems Engineering
Off-Campus Access: Athens ID and Password Required