modellellenőrzés

Az USA-ban megrendezett EclipseCon North America rendezvény évente IoT fejlesztői versenyt rendez. A verseny során három hónap áll rendelkezésre, hogy a csapatok nyílt-forráskódú és nyitott szabványok segítségével egy általuk választott témában innovatív IoT megoldást készítsenek.

Kutatócsoportunk nemzetközi szinten is kiemelkedő eredményt ért el a TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) tudományos konferencián.

Csoportunk a "Formal Verification of State Machine Models" poszterrel szerepelt az Ericsson valamint a BME és az ELTE kutatócsoportjainak együttműködését bemutató "Ericsson University Exhibition" rendezvényen. Tovább »