Register to receive email alerts of upcoming events at email@example.com.
|2nd Dec 2013||
ICT for Life Sciences Forum - "New horizons for human brain imaging in large scale international brain research initiatives"The next ICT for Life Sciences Forum will be held at Monash University, and will be presented by Gary Egan, Professor & Founding Director, Monash Biomedical Imaging, Monash UniversityFurther information...
|9th Dec 2013||
Software Systems Research Group Seminar - Narges KhakpourA separation kernel simulates a distributed environment using a single physical machine by executing partitions in isolation and appropriately controlling communication among them. We present a formal verification of information security for a simple separation kernel for ARMv7.Further information...
|Research - Workshop / Seminar|