Megbízható, nagy rendelkezésre állású, biztonságkritikus rendszerek tervezése, megvalósítása, mérése, felügyelete. Cloud.
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
Tervezés, megvalósítás és ellenőrzés (verifikáció és validáció) formális módszerek alkalmazásával Tovább »
