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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Supporting verification-driven incremental distributed design of components | 1-gen-2018 | Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C. | |
Tomorrow and all our yesterdays: MTL satisfiability over the integers | 1-gen-2008 | Furia, C. A.; Spoletini, Paola |
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
- Atti di Convegno 22
- Atti di Convegno::Relazione (in R... 22
Data di pubblicazione
- 2010 - 2018 7
- 2003 - 2009 15
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 13
- ELECTRONIC NOTES IN THEORETICAL C... 1
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL... 6
- CEUR WORKSHOP PROCEEDINGS 1
Keyword
- Goal model analysis 2
- Interviews 2
- Iterative design 2
- Partial models 2
- Requirements elicitation 2
- AGG 1
- Ambiguities 1
- Attributed Type Graphs 1
- Bogor 1
- Communication mistakes 1
Lingua
- eng 7
Accesso al fulltext
- no fulltext 22