IRIS Institutional Research Information System

Sfoglia per Titolo

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 7.155 a 7.174 di 19.164
Titolo Data di pubblicazione Autore(i) File
Formal Methods for Service Composition 1-gen-2007 Bucchiarone, Antonio; M., ter Beek; S., Gnesi
Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008 1-gen-2008 Cimatti, Alessandro; Robert B., Jones
Formal modeling and automatic enforcement of Bring Your Own Device policies 1-gen-2014 Armando, Alessandro; Costa, G.; Merlo, A.; Verderame, L.
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols 1-gen-2013 Armando, Alessandro; Carbone, Roberto; L., Zanetti
Formal Modeling and Reasoning about the Android Security Framework 1-gen-2013 Armando, Alessandro; Costa, G.; Merlo, A.
Formal Modeling and Verification of the Android Security Framework 1-gen-2012 Armando, Alessandro; G., Costa; A., Merlo
Formal Modeling of Clinical Processes: Experiments in Oncology and Future Perspectives 1-gen-2009 Eccher, Claudio; Antonella, Ferro; Domenico M., Pisanelli
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud 1-gen-2022 Berlato, Stefano; Carbone, Roberto; Lee, Adam J.; Ranise, Silvio
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations 1-gen-2014 Armando, Alessandro; Oudkerk, S.; Ranise, Silvio; Wrona, K.
Formal Procedural Security Modeling and Analysis 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Formal reliability analysis of redundant architectures 1-gen-2019 Bozzano, M.; Cimatti, A.; Mattarei, C.
Formal Safety Assessment via Contract-Based Design. 1-gen-2014 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
Formal Specification and Analysis of an e-Voting System 1-gen-2010 Weldemariam, Komminist Sisai; Richard, Kemmerer; Villafiorita Monteleone, Adolfo
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 1-gen-2009 Armando, Alessandro; Giunchiglia, E.; Ponta, S. E.
Formal Specification and Development of a Safety-Critical Train Management 1-gen-1999 A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Formal Specification and Synthesis of FDI through an Example 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Formal Specification and validation of a Vital Communication Protocol 1-gen-1999 Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Formal Specification and Verification of an e-voting System: An experience Report. 1-gen-2011 Weldemariam, Komminist Sisai; Richard A., Kemmerer; Villafiorita Monteleone, Adolfo
Formal Specification and Verification of Dynamic Parametrized Architectures 1-gen-2018 Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano
Formal specification of Beliefs in Multi-Agents Systems 1-gen-1999 Massimo, Benerecetti; Villafiorita Monteleone, Adolfo
Mostrati risultati da 7.155 a 7.174 di 19.164
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