Formal Requirements and Information Security Enhancement (FRAISE) The Formal Requirements and Information Security Enhancement (FRAISE) Research Group focuses on developing […]
Dr. Yihai Chen: Software Medical Device Dr. Wen Su: Software Product Family and Event B Dr. Xi Wang: Software Product […]
Program chair: The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) Track chair: Systems Security and Privacy […]
