McCann, Julie, Department of Computing, Imperial College London, United Kingdom
-
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) - Articles
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.