File:ModelChecking.svg
Z projektu Wikimedia Commons
Skočit na navigaci
Skočit na vyhledávání
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)
Informace o souboru
Strukturovaná data
Popisky
PopisModelChecking.svg |
Čeština: Princip fungování model checkingu (nejpoužívanější metoda formální verifikace). |
||||||||
Datum | 25. října 2006 (datum prvotního načtení souboru) | ||||||||
Zdroj |
|
||||||||
Autor | Kratochvíla at cs.wikipedia | ||||||||
Svolení (Užití tohoto souboru) |
Já, držitel autorských práv k tomuto dílu, ho tímto zveřejňuji za podmínek následujících licencí: Tento soubor podléhá licenci Creative Commons Uveďte autora-Zachovejte licenci 2.5 Generic
Můžete si zvolit libovolnou z těchto licencí. |
Původní historie souboru
[editovat]Původní stránka s popisem souboru byla zde. Všechna následující uživatelská jména odkazují na projekt cs.wikipedia.
- 2006-10-25 05:45 Kratochvíla 278×201× (10621 bytes) Princip fungování model checkingu (nejpoužívanější metoda formální verifikace). Můj vlastní obrázek; vytvořen bez jakékoli předlohy.
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, 14:53 | 278 × 201 (10 KB) | File Upload Bot (Magnus Manske) (diskuse | příspěvky) | {{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í |
Tento soubor nemůžete přepsat.
Využití souboru
Na tento soubor neodkazuje na Commons žádná stránka.
Globální využití souboru
Tento soubor využívají následující wiki:
- Využití na cs.wikipedia.org