Progetto PROSSIMO: Introduzione al Model Checking

Visualizzazione ridotta
dc.contributor.authorCicala, Giuseppe
dc.contributor.authorPulina, Luca
dc.contributor.otherUniversità degli Studi di SassariIT
dc.date.accessioned2021-05-18T12:57:36Z
dc.date.available2021-05-18T12:57:36Z
dc.date.issued2019-01-29
dc.description.sponsorship“Sardegna Ricerche a valere sul POR FESR Sardegna 2014/2020” Asse prioritario I “Ricerca scientifica, sviluppo tecnologico e innovazione”IT
dc.identifier.urihttp://hdl.handle.net/11050/1419
dc.language.isoitIT
dc.subject.progettiProgetti Sardegna Ricerche::Progetto Cluster POR FESR 2014-2020::ICT::PROSSIMOIT
dc.titleProgetto PROSSIMO: Introduzione al Model CheckingIT
dc.typeAltroIT
File
Original bundle
Ora in mostra 1 - 1 di 1
Immagine di anteprima
Nome:
mc.pdf
Dimensione:
1.86 MB
Formato:
Adobe Portable Document Format
Descrizione:
Download
License bundle
Ora in mostra 1 - 1 di 1
Immagine di anteprima
Nome:
license.txt
Dimensione:
2.06 KB
Formato:
Item-specific license agreed upon to submission
Descrizione:
Download
collections
SR Altro