File:Runtime Verification Monitor.svg
Dimensioni di questa anteprima PNG per questo file SVG: 146 × 174 pixel. Altre risoluzioni: 201 × 240 pixel | 403 × 480 pixel | 644 × 768 pixel | 859 × 1 024 pixel | 1 718 × 2 048 pixel.
File originale (file in formato SVG, dimensioni nominali 146 × 174 pixel, dimensione del file: 11 KB)
 |
Questo file e la sua pagina di descrizione (discussione · modifica) si trovano su Wikimedia Commons (?) |
Dettagli
| Descrizione |
English: Shows the basic principle of monitor based runtime verification as described by Havelund et al. in A Tutorial on Runtime Verification. |
| Data | |
| Fonte | Opera propria |
| Autore | Steffan Schlein |
Licenza
Io, detentore del copyright su quest'opera, dichiaro di pubblicarla con la seguente licenza:
Questo file è disponibile in base alla licenza Creative Commons Attribuzione-Condividi allo stesso modo 4.0 Internazionale
- Tu sei libero:
- di condividere – di copiare, distribuire e trasmettere quest'opera
- di modificare – di adattare l'opera
- Alle seguenti condizioni:
- attribuzione – Devi fornire i crediti appropriati, un collegamento alla licenza e indicare se sono state apportate modifiche. Puoi farlo in qualsiasi modo ragionevole, ma non in alcun modo che suggerisca che il licenziante approvi te o il tuo uso.
- condividi allo stesso modo – Se remixi, trasformi o sviluppi il materiale, devi distribuire i tuoi contributi in base alla stessa licenza o compatibile all'originale.
Cronologia del file
Fare clic su un gruppo data/ora per vedere il file come si presentava nel momento indicato.
| Data/Ora | Miniatura | Dimensioni | Utente | Commento | |
|---|---|---|---|---|---|
| attuale | 00:24, 21 feb 2017 | | 146 × 174 (11 KB) | Sschlein | User created page with UploadWizard |
Pagine che usano questo file
Nessuna pagina utilizza questo file.
Utilizzo globale del file
Anche i seguenti wiki usano questo file:
- Usato nelle seguenti pagine di ca.wikipedia.org:
- Usato nelle seguenti pagine di en.wikipedia.org:
