Istituto di Scienza e Tecnologie dell'Informazione     
Latella D., Gnesi S., Garavel H. Towards reliable computer systems. In: Ercim News, vol. 39 p. 23. 1999.
Nowadays, society is highly dependent on computer systems and there is no doubt that in the near future complex, multimedia, computer based systems will increasingly permeate our society and our activities, including the most critical ones. There is therefore a strongly felt need for higher quality computer systems, both from the reliability and from the performance perspectives.
Subject Formal method
D.2.4 Software/Program 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