IOSIF, Radu

IOSIF, Radu  

Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)  

002830  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.01 secondi).
Citazione Data di pubblicazione Autori File
Temporal Logic Properties of Java Objects / Iosif, Radu; Sisto, Riccardo. - STAMPA. - (2001), pp. 120-127. (Intervento presentato al convegno SEKE 2001 - 13th Int. Conf. on Software Engineering and Knowledge Engineering tenutosi a Buenos Aires, Argentina nel June 2001). 1-gen-2001 IOSIF, RaduSISTO, Riccardo -
On the specification of source level properties in Java / Iosif, Radu; Sisto, Riccardo. - (2000), pp. 83-88. (Intervento presentato al convegno 1st Int. Workshop on Automated Program Analysis, Testing and Verification nel June 2000). 1-gen-2000 IOSIF, RaduSISTO, Riccardo -
Modeling and Validation of Java Multi-threading applications using Spin / Demartini, Claudio Giovanni; Iosif, Radu; Sisto, Riccardo. - STAMPA. - (1998), pp. 5-19. (Intervento presentato al convegno 4th Int. SPIN Workshop nel November 1998). 1-gen-1998 DEMARTINI, Claudio GiovanniIOSIF, RaduSISTO, Riccardo -