The ‎Open IoT Challenge‬ award winning MoDeS3 project is presented today at the Ericsson University Day. The event dedicated to the joint research results of Ericsson and Budapest University of Technology and Economics.

MoDeS3 project’s, powered by Ericsson, IncQuery Labs, and Quanopt, aim is to demonstrate how modeling, verification, and validation techniques can be used for IoT.