Using Model Checking in the Design of a Sensor Network Protocol

Valkov, I. and Miller, A. (2019) Using Model Checking in the Design of a Sensor Network Protocol. In: 26th Automated Reasoning Workshop (ARW 2019), London, UK, 02-03 Sep 2019, (Accepted for Publication)

[img] Text
190781.pdf - Accepted Version
Restricted to Repository staff only

98kB

Abstract

No abstract available.

Item Type:Conference Proceedings
Status:Accepted for Publication
Refereed:Yes
Glasgow Author(s) Enlighten ID:Valkov, Mr Ivaylo and Miller, Dr Alice
Authors: Valkov, I., and Miller, A.
College/School:College of Science and Engineering > School of Computing Science
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record