Title:Model-Based Validation of QoS Properties of Biomedical Sensor Netwroks

Speaker:Prof. Wang Yi, Uppsala University, Sweden


Time: 4：00pm, Monday，March 31

Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS

Abstract: