The Internet of Things is no longer just on paper, it is becoming a reality. The applications space is very large, but is the technology available ready to take the IoT to the next level? Deploying millions of embedded devices in the environment poses a challenge on how to power them.
Kyriakos Georgiou, Research Associate at University of Bristol, recently spoke on “Is Your Code as Cool as Expected?” at the Verification Futures Europe Conference which took place on 4 February 2016 organized by T&VS.

You can find out the slides here