Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
Embedded systems
Model checking
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

An application of parallel satisfiability solving to the verification of complex embedded systems

pubblicato su: Handbook of parallel constraint reasoning - 2018

Ferrante Orlando, Ferrari Alberto, Sofronis Christos, Mangeruca Leonardo, Benvenuti Luca

CATALOGO IRIS SAPIENZA

Anno

2018 (1) Apply 2018 filter

Tipo pubblicazione

02 Pubblicazione su volume (1) Apply 02 Pubblicazione su volume filter

Rivista

Book

Handbook of parallel constraint reasoning (1) Apply Handbook of parallel constraint reasoning filter

Keywords

(-) Remove Embedded systems filter Embedded systems
(-) Remove Model checking filter Model checking
parallel satisfiability (1) Apply parallel satisfiability filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma