IRIS Institutional Research Information System

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 21 - 28 di 28 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
Servizi forniti dagli strati Safety Layer e Connection Manager 1-gen-1998 Cimatti, Alessandro; Sebastiani, Roberto
Software Model Checking via Large-Block Encoding 1-gen-2009 Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto
Specifica formale dei protocolli Safety Layer e Connection Manager 1-gen-1998 Cimatti, Alessandro; Sebastiani, Roberto
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
The MathSAT Solver - a comparative evaluation 1-gen-2004 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto
The MAthSAT Solver. A progress report 1-gen-2004 Bozzano, Marco; Cimatti, Alessandro; G., Colombini; V., Kirov; Sebastiani, Roberto
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation 1-gen-2018 Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 1-gen-1993 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Risultati 21 - 28 di 28 (tempo di esecuzione: 0.022 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 5 Altro 28
  • 5 Altro::5.12 Altro 21
  • 5 Altro::5.11 Software 7
Autore
  • Sebastiani, Roberto 10
  • Bozzano, Marco 9
  • Roveri, Marco 7
  • Cavada, Roberto 5
  • Giunchiglia, Fausto 4
  • Griggio, Alberto 4
  • Tchaltsev, Andrei 4
  • Traverso, Paolo 4
  • Bertoli, Piergiorgio 3
  • Bruttomesso, Roberto 3
Data di pubblicazione
  • 2010 - 2018 3
  • 2000 - 2009 18
  • 1993 - 1999 7
Keyword
  • and Temporal Logic 1
  • BDDs 1
  • conformant planning 1
  • diagnosis 1
  • extended goals 1
  • Games 1
  • MBP 1
  • model-based reasoning 1
  • NUSMV 1
  • partial observability 1
Lingua
  • eng 20
  • ita 1
Accesso al fulltext
  • no fulltext 28