Kutatócsoportunk tudományos segédmunkatársát, Vörös Andrást meghívták a “5th International Workshop on Formal Techniques for Safety-Critical Systems” rendezvény programbizottságába. A workshop témája formális módszerek alkalmazása a biztonságkritikus rendszerek tervezésében, ellenőrzésében és tanúsítványozásának támogatásában.
