Sfoglia per Rivista
Sibilla: A tool for reasoning about collective systems
2024-01-01 Del Giudice, Nicola; Matteucci, Lorenzo; Quadrini, Michela; Rehman, Aniqa; Loreti, Michele
Static Analysis of Real-Time Component-based System Configurations
2003-01-01 Corradini, Flavio; Inverardi, P.; Attanasio, C.
Using formal methods to develop WS-BPEL applications
2012-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Sibilla: A tool for reasoning about collective systems | 1-gen-2024 | Del Giudice, Nicola; Matteucci, Lorenzo; Quadrini, Michela; Rehman, Aniqa; Loreti, Michele | Articolo | |
Static Analysis of Real-Time Component-based System Configurations | 1-gen-2003 | Corradini, Flavio; Inverardi, P.; Attanasio, C. | Articolo | |
Using formal methods to develop WS-BPEL applications | 1-gen-2012 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Articolo |
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