Vörös András az FTSCS programbizottságának tagja

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. A workshop novemberben Japánban kerül megrendezésre.