Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling
2013-01-01 Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
2017-01-01 Canonico, R.; Marrone, S.; Nardone, R.; Vittorini, V.
Towards model-based security assessment of cloud applications
2017-01-01 Casola, Valentina; De Benedictis, Alessandra; Nardone, Roberto
A model-driven process for physical protection system design and vulnerability evaluation
2015-01-01 Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Drago, Annarita
A proposal of an example and experiments repository to foster industrial adoption of formal methods
2018-01-01 Schlick, R; Felderer, M.; Majzik, I; Nardone, R; Raschke, A; Snook, C; Vittorini, V
Model-driven V&V processes for computer based control systems: A unifying perspective
2012-01-01 Flammini, Francesco; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Towards model-driven assessment of clinical processes
2015-01-01 Amato, Flora; Cozzolino, Giovanni; D'Alessio, Alessandra; Marrone, Stefano; Mazzocca, Nicola; Mele, Gianluca; Nardone, Roberto
Automatic generation of formal models for diagnosability of des
2018-01-01 Nardone, R; De Tommasi, G; Mazzocca, N; Pironti, A; Vittorini, V
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project
2015-01-01 Marrone, S.; Nardone, R.; Rinaldi, A. M.; Vittorini, V.
Unconventional Monetary Policy in the USA and in Europe
2019-01-01 Mattia, Guerini; Francesco, Lamperti; Mazzocchetti, Andrea
La bigenitorialità, la lesione del diritto e il risarcimento del danno da procurata Sindrome di Alienazione Parentale. Nota a sentenza del Tribunale di Cosenza 2044/17
2018-01-01 Marzullo, R
La Legge 47/2017. Nuovi diritti per i minori stranieri non accompagnati
2017-01-01 Marzullo, R
Responsabilità genitoriale e responsabilità educativa
2015-01-01 Marzullo, R
Parte I: Processo civile dinanzi al T.M. – Parte II: Processo penale dinanzi al T.M
2018-01-01 Marzullo, R
Il pregiudizio inferto al minore dall'indottrinamento mafioso: riflessioni e prospettive
2016-01-01 Marzullo, R
Il pregiudizio inferto al minore dall'indottrinamento mafioso: riflessioni e prospettive
2017-01-01 Marzullo, R
Intersections between Law and Education for Transformative Learning based on cultural contamination
2016-01-01 Marzullo, R
Tecniche di coltivazione
2014-01-01 Lupini, A; Abenavoli, Mr.
Tecniche innovative per il miglioramento sanitario di germoplasma viticolo autoctono calabrese e valutazione degli effetti sul potenziamento qualitativo del prodotto trasformato
2016-01-01 Albanese, Gr; Leo, G; Grande, Sb; Lamanna, S; Manglli, A; Sunseri, F; Lupini, A; Mauceri, A; Faggioli, F; Gentili, A; Tarricone, L; Masi, G
Variabilità genetica della cultivar Gaglioppo e di altri vitigni calabresi
2013-01-01 Mercati, F; Longo, C; Lupini, A; Araniti, F; Sunseri, F
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
Scopri
Tipologia
- 2 Contributo in Volume5496
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa21
- 2020 - 20261095
- 2010 - 20192174
- 2000 - 20091777
- 1990 - 1999321
- 1980 - 1989104
- 1978 - 19795
Editore
- Iiriti Editore227
- Centro Stampa d'Ateneo163
- Gangemi163
- Springer140
- FrancoAngeli126
- Aracne93
- Giappichelli90
- Laruffa Editore83
- Aracne Editrice75
- Editoriale Scientifica74
Serie
- SMART INNOVATION, SYSTEMS AND TEC...49
- MARRC CATALOGHI29
- LECTURE NOTES IN NETWORKS AND SYS...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- ADVANCES IN SCIENCE, TECHNOLOGY &...14
- COMMUNICATIONS IN COMPUTER AND IN...11
- LECTURE NOTES IN CIVIL ENGINEERING10
- KEY ENGINEERING MATERIALS9
- RE-CYCLE ITALY9
- WIT TRANSACTIONS ON THE BUILT ENV...9
Keyword
- paesaggio55
- Calabria53
- Disegno49
- Rilievo41
- Paesaggio39
- Architettura36
- Città31
- città28
- Mediterraneo26
- Progetto26
Lingua
- ita3589
- eng1476
- spa32
- fre28
- und12
- dan9
- ger9
- lat4
- mul3
- pol3
Accesso al fulltext
- no fulltext4073
- reserved914
- open257
- restricted236
- partially open13
- embargoed2
- mixed2