Return to Article Details Közúti fedezőjelzőrendszer formális modellezése UPPAAL keretrendszer felhasználásával Download Download PDF