Sfoglia per Serie
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
2010-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
The use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability
2019-01-01 Mirko, Zichichi; Rodriguez-Doncel, Victor; Ferretti, Stefano
The Use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability
2021-01-01 Zichichi, Mirko; Rodríguez-Doncel, Víctor; Ferretti, Stefano
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems
2009-01-01 Aldini, Alessandro; Bernardo, Marco
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes
2011-01-01 Bernardo, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes | 1-gen-2010 | Bernardo, Marco; De Nicola, Rocco; Loreti, Michele | |
| The use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability | 1-gen-2019 | Mirko, Zichichi; Rodriguez-Doncel, Victor; Ferretti, Stefano | |
| The Use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability | 1-gen-2021 | Zichichi, Mirko; Rodríguez-Doncel, Víctor; Ferretti, Stefano | |
| Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems | 1-gen-2009 | Aldini, Alessandro; Bernardo, Marco | |
| Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes | 1-gen-2011 | Bernardo, Marco |
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