PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Schieferdecker I., Rennoch A. 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. Proceedings of FMICS'2000 (Berlin, April 3-4, 2000). Stefania Gnesi, Ina Schieferdecker and Axel Rennoch (Eds.). Document n. IEI-B5-10, 2000.
 
 
Abstract
(English)
No abstract available
Subject Formal methods
Formal description techniques (FDT)
Modelling specifications
Verification
D.2.4 Software/Program Verification. Formal methods
F.3.1 Specifying and Verifying and Reasoning about Programs


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