formális verifikáció

Sikeres CERN együttműködés

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 »

Tartalom átvétel