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.175 a 7.194 di 19.173
Titolo Data di pubblicazione Autore(i) File
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
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 1-gen-1996 Traverso, Paolo; Enrico, Giunchiglia; Luca, Spalazzi; Giunchiglia, Fausto
Formal Theories for Reactive Planning Systems: some considerations raised from an experimental application 1-gen-1996 Traverso, Paolo; Enrico, Giunchiglia; Luca, Spalazzi; Giunchiglia, Fausto
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
Formal Verification and Validation of AADL Model 1-gen-2010 Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 1-gen-2012 Cimatti, Alessandro; Raffaele, Corvino; Armando, Lazzaro; Narasamdya, Iman; Tiziana, Rizzo; Roveri, Marco; Angela, Sanseviero; Andrei, Tchaltsev
Formal Verification of a Railway Interlocking System Using Model Checking 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Formal Verification of Data Provenance Records 1-gen-2012 S., Klarman; S., Schlobach; Serafini, Luciano
Formal Verification of Diagnosability via Symbolic Model Checking 1-gen-2003 Cimatti, Alessandro; C., Pecheur; Cavada, Roberto
Formal Verification of Diagnosability via Symbolic Model Checking 1-gen-2003 Cimatti, Alessandro; Charles, Pecheur; Cavada, Roberto
Formal Verification of Infinite-State BIP Models 1-gen-2015 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
Formal Verification of Requirements using Spin: A Case Study on Web Services 1-gen-2004 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Formalismi per la definizione della specifiche dei sistemi software e loro applicazione alla costruzione di una libreria per la differenziazione automatica 1-gen-1995 Ordan, Z.
Formalization and validation of a subset of the European Train Control System 1-gen-2010 Angelo, Chiappini; Cimatti, Alessandro; Macchi, Luca; Oscar, Rebollo; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Berardino, Vittorini
Formalization and Validation of Safety-Critical Requirements 1-gen-2010 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Formalizing and Reasoning about Constraints in Federated Databases 1-gen-1997 Serafini, Luciano; Ghidini, Chiara
Formalizing Belief Reports -- The Approach and a Case Study 1-gen-1998 Massimo, Benerecetti; Bouquet, Paolo; Ghidini, Chiara
Mostrati risultati da 7.175 a 7.194 di 19.173
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