File:ModelChecking.svg
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 278 × 201 pixels. Other resolutions: 320 × 231 pixels | 640 × 463 pixels | 1,024 × 740 pixels | 1,280 × 925 pixels | 2,560 × 1,851 pixels.
Original file (SVG file, nominally 278 × 201 pixels, file size: 10 KB)
File information
Structured data
Captions
DescriptionModelChecking.svg |
Čeština: Princip fungování model checkingu (nejpoužívanější metoda formální verifikace). |
||||||||
Date | 25 October 2006 (original upload date) | ||||||||
Source |
|
||||||||
Author | Kratochvíla at cs.wikipedia | ||||||||
Permission (Reusing this file) |
I, the copyright holder of this work, hereby publish it under the following licenses: This file is licensed under the Creative Commons Attribution-Share Alike 2.5 Generic license.
You may select the license of your choice. |
Original upload log
[edit]The original description page was here. All following user names refer to 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.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 14:53, 22 April 2009 | 278 × 201 (10 KB) | File Upload Bot (Magnus Manske) (talk | contribs) | {{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í |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on cs.wikipedia.org