Lectures: Safety Analysis for Wireless Embedded Networks

We are pleased to announce a series of lectures by Dr. John Regehr from the University of Utah, USA. His lectures will cover a broad range of safety analysis techniques for wireless embedded networks. More information can be found here.