2010 IEEE 12th International Symposium on High Assurance Systems Engineering
DOI: 10.1109/hase.2010.28
Export citation
Search in Google Scholar
Full text: Unavailable