Sfoglia per Serie
Representing Object Code
2000-01-01 Benini, Marco
SAT-based proof search in intermediate propositional logics
2022-01-01 Fiorentini, C.; Ferrari, M.
Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects
2020-01-01 Boffa, S.; Gerla, B.
Structural model checking for communicating hierarchical machines
2004-01-01 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Supporting verification-driven incremental distributed design of components
2018-01-01 Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C.
Towards a formal notion of impact metric for cyber-physical attacks
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Virtual patients for knowledge sharing and clinical practice training: A gamified approach
2016-01-01 Cabitza, F.; Fogli, D.; Locoro, A.
Visual Word Embedding for Text Classification
2021-01-01 Gallo, I.; Nawaz, S.; Landro, N.; La Grassa, R.
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
2018-01-01 Lanotte, Ruggero; Tini, Simone
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