Fichier:Model checking exemple distributeur de boissons.svg
Aller à la navigation
Aller à la recherche
Taille de cet aperçu PNG pour ce fichier SVG : 378 × 159 pixels. Autres résolutions : 320 × 135 pixels | 640 × 269 pixels | 1 024 × 431 pixels | 1 280 × 538 pixels | 2 560 × 1 077 pixels.
Fichier d’origine (Fichier SVG, nominalement de 378 × 159 pixels, taille : 33 kio)
Description
| Description |
Français : Model checking exemple distributeur de boissons |
| Date | |
| Source | Travail personnel |
| Auteur | Fschwarzentruber |
Conditions d’utilisation
Moi, en tant que détenteur des droits d’auteur sur cette œuvre, je la publie sous la licence suivante :
Ce fichier est sous la licence Creative Commons Attribution – Partage dans les Mêmes Conditions 4.0 International.
- Vous êtes libre :
- de partager – de copier, distribuer et transmettre cette œuvre
- d’adapter – de modifier cette œuvre
- Sous les conditions suivantes :
- paternité – Vous devez donner les informations appropriées concernant l'auteur, fournir un lien vers la licence et indiquer si des modifications ont été faites. Vous pouvez faire cela par tout moyen raisonnable, mais en aucune façon suggérant que l’auteur vous soutient ou approuve l’utilisation que vous en faites.
- partage à l’identique – Si vous modifiez, transformez ou vous basez sur cet élément, vous devez distribuer votre contribution sous une license identique ou compatible à celle de l’original.
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 1 avril 2016 à 13:01 | | 378 × 159 (33 kio) | wikimediacommons>Fschwarzentruber | Cross-wiki upload from fr.wikipedia.org |
Utilisation du fichier
La page suivante utilise ce fichier :
