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: