PUMA
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.
 
 
Abstract
(English)
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