2015 IEEE 16th International Symposium on High Assurance Systems Engineering High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on. :158-165 Jan, 2015
2014 IEEE 15th International Symposium on High-Assurance Systems Engineering High-Assurance Systems Engineering (HASE), 2014 IEEE 15th International Symposium on. :89-96 Jan, 2014
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on. :138-145 Nov, 2011