Poszter az Ericsson University Exhibition rendezvényen

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.

A rövid összefoglalást Majzik István tartotta, a poszter bemutatásában Vörös András vett részt. A most indult kutatás az állapottérkép modellek korszerű algoritmusokkal történő ellenőrzését célozza.