Sfoglia per Rivista
On relating functional specifications to architectural specifications: a case study
2006-01-01 Corradini, Flavio; Inverardi, P.; Wolf, A.
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination
2015-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke
PiDuce – a project for experimenting Web services technologies
2009-01-01 Samuele, Carpineti; Cosimo, Laneve; Padovani, Luca
Programming interactions in collective adaptive systems by relying on attribute-based communication
2020-01-01 Abd Alrahman, Y.; De Nicola, R.; Loreti, M.
Provably correct implementation of the AbC calculus
2021-01-01 De Nicola, R.; Duong, T.; Loreti, M.
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 |
---|---|---|---|---|
On relating functional specifications to architectural specifications: a case study | 1-gen-2006 | Corradini, Flavio; Inverardi, P.; Wolf, A. | Articolo | |
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination | 1-gen-2015 | Latella, Diego; Loreti, Michele; Massink, Mieke | Articolo | |
PiDuce – a project for experimenting Web services technologies | 1-gen-2009 | Samuele, Carpineti; Cosimo, Laneve; Padovani, Luca | Articolo | |
Programming interactions in collective adaptive systems by relying on attribute-based communication | 1-gen-2020 | Abd Alrahman, Y.; De Nicola, R.; Loreti, M. | Articolo | |
Provably correct implementation of the AbC calculus | 1-gen-2021 | De Nicola, R.; Duong, T.; Loreti, M. | Articolo | |
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