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: scientific results and application scenarios. TOCAI.IT: Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in InterneT (PR_FIRB_TOCAI.IT_D7.2). Project report TOCAI Deliverable D7.2, 2008.
 
 
Abstract
(English)
Deliverable D7.2 of Activity 7 of the FIRB project TOCAI.IT
Subject Formal Methods
Service Oriented Computing
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