>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]

Laurea Specialistica in Ingegneria Informatica, Corso di

Metodi Formali nell'Ingegneria del Software

Edizione dell'a.a. 2007/08

Progetti svolti dagli studenti

Torna alla lista dei progetti »


Composition of stateful deterministic services in Alternating-time Temporal Logic

  • Autori: ,

  • Categorie: Logiche temporali; Sintesi automatiche di soluzioni

Materiale prodotto


Disclaimer: Questo materiale viene offerto gratuitamente ai soli studenti del corso di Metodi Formali nell'Ingegneria del Software del Corso di Laurea Specialistica in Ing. Informatica dell'Università degli Studi di Roma "La Sapienza". E' vietato ogni utilizzo diverso da quello inerente la preparazione dell'esame del suddetto corso, ed in particolare è espressamente vietato il suo utilizzo per qualsiasi scopo commerciale e/o di lucro.

Questo materiale è stato prodotto da un gruppo di studenti del predetto corso, e viene pubblicato senza alcuna garanzia, da parte del docente, circa la sua correttezza e completezza.

Il copyright di questo materiale è detenuto congiuntamente dagli autori e dal docente.
E' permessa la libera copia di tutto il materiale disponibile, purché ne vengano rispettate le condizioni d'uso qui enunciate, ne venga sempre citata la fonte, e venga riportato questo testo.
Gli autori consentono la stampa di questo materiale da parte di società di servizi (ad es. copisterie), purché queste non ne ottengano alcun ricavo oltre quello dovuto alla vendita di semplici fotocopie a prezzi di mercato. Si precisa tuttavia che gli autori ed il docente non percepiscono alcun guadagno dalla diffusione del materiale da parte di chiunque.



[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]