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.
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.057 secondi).
6th International Workshop on Systems Software Verification, SSV 2011
2012-01-01 Brauer, Jörg; Roveri, Marco; Tews, Hendrik
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
2010-01-01 Kowalewski, Stefan; Roveri, Marco
Preface
2007-01-01 Bloem, Roderick; Roveri, Marco; Somenzi, Fabio
Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
2018-01-01 Cerone, Antonio; Roveri, Marco
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.057 secondi).
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
Opzioni
Scopri
Tipologia
- 01 Libro (Book) 4
- 01 Libro (Book)::01.6 Catalogo di... 4
Data di pubblicazione
- 2010 - 2018 3
- 2007 - 2009 1
Editore
- Schloss Dagstuhl - Leibniz-Zentru... 1
- SPRINGER 1
- Springer 1
- Unknown 1
Lingua
- eng 3
- und 1
Accesso al fulltext
- no fulltext 4