Két előadás az "International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems" konferencián

Kutatócsoportunk tagjai két előadást tartottak a  "1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS 2014)" konferencián megnyitásaként.

Pataricza András   “Towards Effort and Quality Estimation of V&V Processes” című meghívott előadásában a "CECRIS (CErtification of CRItical Systems)" projekt során szerzett tapasztalatokat és eredményeket mutatta be.

Vörös András "Verification of a real-time safety-critical protocol using a modelling language with formal data and behaviour semantics" címmel tartott előadást egy új helyességbizonyító modellező és vizsgálati eszközről, amely valós ipari példán is bizonyította gyakorlati alkalmazhatóságát..