Közúti fedezőjelzőrendszer formális modellezése UPPAAL keretrendszer felhasználásával megtekintése

Vissza a folyóiratszám részleteihez Közúti fedezőjelzőrendszer formális modellezése UPPAAL keretrendszer felhasználásával Letöltés PDF Letöltés