PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bondavalli A., Fantechi A., Latella D., Simoncini L. Design validation of embedded dependable systems. 2001.
 
 
Abstract
(English)
EMBEDDED COMPLEX SYSTEMS REQUIRE AN INTEGRATED AND BEST-BALANCED SET OF COMPONENTS. TO USE THESE COMPONENTS REQUIRES SOME SORT OF VERIFIABLE COMPOSITIONALITY, A CONCEPT THAT IMPLIES THE PRESERVATION OF PROPERTIES AND THE ABILITY TO VERIFY THEM.
Subject dependable system design
Formal verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional