Soubor:ModelChecking.svg
Velikost tohoto PNG náhledu tohoto SVG souboru: 278 × 201 pixelů. Jiná rozlišení: 320 × 231 pixelů | 640 × 463 pixelů | 1 024 × 740 pixelů | 1 280 × 925 pixelů | 2 560 × 1 851 pixelů.
Původní soubor (soubor SVG, nominální rozměr: 278 × 201 pixelů, velikost souboru: 10 KB)
Historie souboru
Kliknutím na datum a čas se zobrazí tehdejší verze souboru.
Datum a čas | Náhled | Rozměry | Uživatel | Komentář | |
---|---|---|---|---|---|
současná | 22. 4. 2009, 16:53 | 278 × 201 (10 KB) | File Upload Bot (Magnus Manske) | {{BotMoveToCommons|cs.wikipedia|year={{subst:CURRENTYEAR}}|month={{subst:CURRENTMONTHNAME}}|day={{subst:CURRENTDAY}}}} {{Information |Description={{cs|Princip fungování model checkingu (nejpoužívanější metoda formální verifikace). Můj vlastní |
Využití souboru
Tento soubor používá následující stránka: