File:ModelChecking.svg

From Wikimedia Commons, the free media repository

Jump to: navigation, search

ModelChecking.svg‎ (SVG file, nominally 278 × 201 pixels, file size: 10 KB)

Description
Česky: Princip fungování model checkingu (nejpoužívanější metoda formální verifikace).
Date

25 October 2006(2006-10-25) (original upload date)
Source
Author

Kratochvíla at cs.wikipedia
Permission
(Reusing this image)
I, the copyright holder of this work, hereby publish it under the following licenses:
Creative Commons license
Creative Commons Attribution Creative Commons Share Alike		 This file is licensed under the Creative Commons Attribution ShareAlike 2.5 License. In short: you are free to share and make derivative works of the file under the conditions that you appropriately attribute it, and that you distribute it only under a license identical to this one. Official license

العربية | Català | Česky | Dansk | Deutsch | Ελληνικά | English | Esperanto | Eesti | فارسی | Suomi | Français | עברית | Hrvatski | Italiano | 한국어 | Lietuvių | Македонски | Plattdüütsch | Nederlands | Polski | Português | Русский | తెలుగు | ไทย | Türkçe | Vèneto | Tiếng Việt | 中文 | ‪中文(简体)‬ | ‪中文(繁體)‬ | +/−
GNU head Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

Afrikaans | Alemannisch | Aragonés | العربية | Asturianu | Беларуская | Беларуская (тарашкевіца) | Български | বাংলা | ইমার ঠার/বিষ্ণুপ্রিয়া মণিপুরী | Brezhoneg | Bosanski | Català | Cebuano | Česky | Dansk | Deutsch | Ελληνικά | English | Esperanto | Español | Eesti | Euskara | فارسی | Suomi | Français | Gaeilge | Galego | עברית | Hrvatski | Magyar | Հայերեն | Bahasa Indonesia | Ido | Íslenska | Italiano | 日本語 | ქართული | ភាសាខ្មែរ | 한국어 | Kurdî / كوردی | Latina | Lëtzebuergesch | Lietuvių | 文言 | Македонски | Bahasa Melayu | Malti | Nnapulitano | Plattdüütsch | Nederlands | ‪Norsk (nynorsk)‬ | ‪Norsk (bokmål)‬ | Occitan | Polski | Português | Română | Русский | Slovenčina | Slovenščina | Shqip | Српски / Srpski | Svenska | Kiswahili | తెలుగు | ไทย | Tagalog | Türkçe | Українська | اردو | Vèneto | Tiếng Việt | Volapük | Yorùbá | 中文 | ‪中文(简体)‬ | ‪中文(繁體)‬ | +/−
Creative Commons license
Creative Commons Attribution Creative Commons Share Alike		 This file is licensed under the Creative Commons Attribution ShareAlike 3.0 License. In short: you are free to share and make derivative works of the file under the conditions that you appropriately attribute it, and that you distribute it only under a license identical to this one. Official license

This licensing tag was added to this file as part of the GFDL licensing update.

Alemannisch | Беларуская (тарашкевіца) | Català | Česky | Deutsch | Deutsch (Sie-Form) | Ελληνικά | English | Español | Eesti | Suomi | Français | Hrvatski | Հայերեն | Italiano | 한국어 | Lietuvių | Македонски | Polski | Português | Português do Brasil | Русский | Svenska | ไทย | Vèneto | Tiếng Việt | +/−
You may select the license of your choice.

[edit] Original upload log

The original description page is/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/TimeThumbnailDimensionsUserComment
current14:53, 22 April 2009Thumbnail for version as of 14:53, 22 April 2009278×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í )

There are no pages that link to this file.

Global file usage

The following other wikis use this file:

Retrieved from "http://commons.wikimedia.org/wiki/File:ModelChecking.svg"