Archivio Istituzionale della RicercaIOSIF, 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.009 secondi).
Temporal Logic Properties of Java Objects
2001 Iosif, Radu; Sisto, Riccardo
On the specification of source level properties in Java
2000 Iosif, Radu; Sisto, Riccardo
Modeling and Validation of Java Multi-threading applications using Spin
1998 Demartini, Claudio Giovanni; Iosif, Radu; Sisto, Riccardo
| 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 | - |