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 21 a 40 di 81
Titolo Data di pubblicazione Autore(i) File
Formal Methods for Mobile Computing (SFM 2005) 1-gen-2005 Bernardo, Marco; Bogliolo, Alessandro
Formal Methods for Model-Driven Engineering (SFM 2012) 1-gen-2012 Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso
Formal Methods for Multicore Programming (SFM 2015) 1-gen-2015 Bernardo, Marco; Johnsen, Einar Broch
Formal Methods for Performance Evaluation (SFM 2007) 1-gen-2007 Bernardo, Marco; Hillston, Jane
Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010) 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Di Pierro, Alessandra; Wiklicky, Herbert
Formal Methods for Software Architectures (SFM 2003) 1-gen-2003 Bernardo, Marco; Inverardi, Paola
Formal Methods for the Design of Real-Time Systems (SFM 2004) 1-gen-2004 Bernardo, Marco; Corradini, Flavio
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016) 1-gen-2016 Bernardo, Marco; De Nicola, Rocco; Hillston, Jane
Formal Methods for Web Services (SFM 2009) 1-gen-2009 Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi
The Fortification System of the City of Urbino: The Case Study of Valbona Gate from 3D Surveys to GIS Applications for Dynamic Maps 1-gen-2016 Bertozzi, Sara; Baratin, Laura; Moretti, Elvio
Foundations of Reversible Computation 1-gen-2020 Aman, Bogdan; Ciobanu, Gabriel; Glück, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Mezzina, Claudio Antares; Mikulski, Łukasz; Nagarajan, Rajagopal; Phillips, Iain; Pinna, G. Michele; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germán
A General Approach to Deadlock Freedom Verification for Software Architectures 1-gen-2003 Aldini, Alessandro; Bernardo, Marco
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 1-gen-2009 Aldini, Alessandro; Bernardo, Marco
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults 1-gen-2019 Bernardo, Marco
GIS AND 3D MODELS AS SUPPORT TO DOCUMENTATION AND PLANNING OF THE BAKU HISTORICAL CENTRE (REPUBLIC OF AZERBAIJAN) 1-gen-2012 Baratin, Laura; Bertozzi, Sara; Moretti, Elvio; Spinella, Michele
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations 1-gen-2013 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Implementing Symbolic Models for Value Passing in TwoTowers 1-gen-2000 Bernardo, Marco
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 1-gen-2004 Aldini, Alessandro; Bernardo, Marco
Logics to Reason Formally About Trust Computation and Manipulation 1-gen-2020 Aldini, Alessandro; Tagliaferri, Mirko
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 1-gen-2005 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
Mostrati risultati da 21 a 40 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