Yakindu-modellek automatizált ellenőrzése a Rendszermodellezés c. tárgy házi feladataihoz https://inf.mit.bme.hu/edu/courses/remo https://inf.mit.bme.hu/edu/courses/remo-de