Kutatás

Kutatási területek és kompetenciák

Szolgáltatásbiztos rendszerek:

Megbízható, nagy rendelkezésre állású, biztonságkritikus rend­sze­rek tervezése, megvalósítása, mérése, felügyelete. Cloud.

Modellalapú szoftvertervezés:

Precíz mérnöki modellek és modell-transzformációk segítségével történő tervezés, fejlesztés és projektvezetés

Formális módszerek:

Tervezés, megvalósítás és ellenőrzés (verifikáció és validáció) formális módszerek alkalmazásával Tovább »