András Vörös is invited to the PC of FTSCS

András Vörös, a research associate of the research group is invited to the program committe of the "5th International Workshop on Formal Techniques for Safety-Critical Systems". The scope of the workshop is the application of formal methods in the development, verification and certification of safety-critical systems.