Mr Ivaylo Valkov

  • Research Assistant (Computing Science)
  • Lab Assistant, Tutor (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2019
Number of items: 1.

2019

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)

This list was generated on Tue Jan 21 18:03:48 2020 GMT.
Jump to: Conference Proceedings
Number of items: 1.

Conference Proceedings

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)

This list was generated on Tue Jan 21 18:03:48 2020 GMT.