 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
Logica2
Clicca QUI per vedere il messaggio nel forum |
| sp1d3r |
Ciao,
devo preparare il progettino in nusmv da portare all'esame.... ma non so proprio cosa fare....
il prof ha detto che bisogna basarsi sui 2 algo di mutua esclusione pubblicati sul sito, qualcuno che li ha fatti potrebbe postare la soluzione???
non ho seguito il laboratorio e quindi mi risulta difficile capire dallo pseudocodice quale possa essere tutto esattamente il modello da implementare. Qualcuno che ha già fatto la modellizzazione potrebbe pubblicarla in formato smv?
grazie! |
|
|
|
|
