formális módszerek

Formális módszerek ZH1 eredmények és megtekintés

A Formális módszerek (VIMIM100) tárgy első zárthelyi eredményei a hivatkozás segítségével letölthető táblázatban találhatók. Nagyon jó eredmények születtek a zárthelyin: a hallgatók több mint 80%-a sikerrel teljesítette. Tovább »

Formal Methods in Railway and Automotive Systems

December első napjaiban Braunschweigben rendezték a Formal Methods for Automation and Safety in Railway and Automotive Systems konferenciát. Ezen dr. Pataricza András meghívott előadóként, dr. Majzik István pedig a "Legal Framework and Risk Metrics" szekció elnökeként és a "Model-based Integration Framework for Development and Testing Tool-chains" cikkünk előadójaként vett részt (a cikk szerzői dr. Polgár Balázs, Ráth István és Majzik István).
Pataricza professzor "Towards Open Modular Critical Systems" című előadása a konferencia egyik legmagasabbra értékelt előadása volt. Tovább »

Tartalom átvétel