Meghívott előadás a VOLT 2013 workshopon

A STAF 2013 nemzetközi konferenciához kapcsolódó VOLT 2013 (Verification of Model Transformations) workshopon tartott meghívott előadást csoportunk oktatója, Dr. Varró Dániel "Verification and validation challenges for models, queries and transformations in design tools for avionics" címmel.

Az előadás során beszámolt a kutatócsoport legfrissebb eredményeiről a modellezési nyelvek és jólformáltsági kritériumok konzisztenciaellenőrzése, a származtatott nyomonkövethetőségi kapcsolatok és a tervezési tér felderítés területén