Archivio Istituzionale della RicercaSfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Modeling and Validation of Java Multi-threading applications using Spin
1998 Demartini, Claudio Giovanni; Iosif, Radu; Sisto, Riccardo
On the specification of source level properties in Java
2000 Iosif, Radu; Sisto, Riccardo
Temporal Logic Properties of Java Objects
2001 Iosif, Radu; Sisto, Riccardo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| 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 | - |
| 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 | - |
| 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 | - |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile