CNR ExploRA

InstituteSelected 0/1

ISTI, Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo" (1)

AuthorSelected 0/3

Ciancia Vincenzo (1)

Latella Diego (1)

Massink Mieke (1)

TypeSelected 0/1

Articolo in rivista (1)

Research programSelected 0/1

ICT.P09.008.002, Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (1)

EU Funding ProgramSelected 0/1

FP7 (1)

EU ProjectSelected 0/1

QUANTICOL (1)

YearSelected 0/1

2018 (1)

LanguageSelected 0/1

Inglese (1)

Keyword

Formal methods for system design & analysis