PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Brogi A., Bruni R., Ciancarini P., Corradi A., Ferrari G., Massink M., Montanari U. Process-oriented models and languages Deliverable D7.1. TOCAI.IT: Tecnologie Orientate alla Conoscienza per Aggregazioni di Imprese in Internet. Project report D7.1, 2007.
 
 
Abstract
(English)
Project Report on the scientific results obtained in the first year (2007) by Activity 7 of FIRB project TOCAI.
Subject Process Oriented Models
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