Poppleton, Michael R., University of Southampton, United Kingdom
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
A Formal Co-Simulation Approach for Wireless Sensor Network Development
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.