PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Margaria T. FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems. In: ERCIM News, vol. 64 pp. 6 - 7. Peter Kunz (ed.). ERCIM, 2006.
 
 
Abstract
(English)
Report on the 10th edition of the FMICS international workshop held in Lisbon in 2005
Subject Formal Methods
D.2.4 Software/Program Verification
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)


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