Verzia z 17:23, 25. október 2009 upraviť Pokus9999 (diskusia \| príspevky) 3 929 editací wikilinky ← Predchádzajúca úprava		Verzia z 15:00, 13. december 2009 upraviť vrátiť Idioma-bot (diskusia \| príspevky) Boti 13 515 editací d robot Pridal: lt:Modelio patikrinimas Ďalšia úprava →
Riadok 9: [[it:Model checking]] [[ja:モデル検査]] [[lt:Modelio patikrinimas]] [[pt:Model Checking]] [[ru:Проверка моделей]]

Overovanie modelov: Rozdiel medzi revíziami