IRIS

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 12 a 31 di 98
Titolo Data di pubblicazione Autore(i) File
Data Privacy Management and Security Assurance. 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings 1-gen-2016 Aldini, Alessandro; Martinelli, Fabio; Suri, Neeraj
Encoding Timed Models as Uniform Labeled Transition Systems 1-gen-2013 Bernardo, Marco; Tesei, Luca
European Performance Engineering Workshop (EPEW 2010) 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Bononi, Luciano; Cortellessa, Vittorio
Exogenous and Endogenous Extensions of Architectural Types 1-gen-2002 Bernardo, Marco; Franzè, Francesco
Exploring the Dark Corners of Human-Chatbot Interactions: A Literature Review on Conversational Agent Abuse 1-gen-2024 DE CICCO, Roberta
Expressing Processes with Different Action Durations through Probabilities 1-gen-2001 Bravetti, M; Aldini, Alessandro
Extended Markovian Process Algebra 1-gen-1996 Bernardo, Marco; Gorrieri, Roberto
Filtering Obfuscated Email Spam by means of Phonetic String Matching 1-gen-2006 Freschi, Valerio; Seraghiti, Andrea; Bogliolo, Alessandro
Formal Methods for Computational Systems Biology (SFM 2008) 1-gen-2008 Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi
Formal Methods for Dynamical Systems (SFM 2013) 1-gen-2013 Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Formal Methods for Eternal Networked Software Systems (SFM 2011) 1-gen-2011 Bernardo, Marco; Issarny, Valerie
Formal Methods for Executable Software Models (SFM 2014) 1-gen-2014 Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Formal Methods for Hardware Verification (SFM 2006) 1-gen-2006 Bernardo, Marco; Cimatti, Alessandro
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
Mostrati risultati da 12 a 31 di 98
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