PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Latella D., Massink M., Norman G., Parker D. Rigorous Design. Chapter 15 of CaberNet Vision of Research and Technology Development in Distributed and Dependable Systems. EU Network of Excellence. Project report IST-2000-25088., 2004.
 
 
Abstract
(English)
This chapter is concerned with the modeling and analysis of distributed systems using formal methods.
Subject Formal Methods
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