(PN) FMWS’08 Deadline extension
Apologies for multiple copies…. ——————- FMWS 2008 First Workshop on Formal Methods for Wireless Systems 23 August, 2008, Toronto, Canada Satelite workshop of CONCUR 2008 http://www.itu.dk/events/FMWS08/ Scope —– The FMWS workshop aims at bringing together researchers interested in formal methods for wireless systems. More specifically, it puts focus on theories for semantics,logics, and verification techniques [...]