Sfoglia per Serie  

opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 77 a 81 di 81
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
Mostrati risultati da 77 a 81 di 81
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