Kutatócsoportunk sikeresen együttműködött a CERN kutatóival egy olyan automatikus eszköz fejlesztésében, ami PLC programok formális verifikálására szolgál. Tovább »
