(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
for wireless systems. Wireless systems are rapidly increasing their
success in real-world applications […]