 | DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
| 2009 | |
| Aldinucci, Campa, Dazzi, Tonellotto and Zoppi | "D.NFCF.05 -- NFCF tuned prototype and final documentation" Miscellaneous document. |
| 2008 | |
| Aldinucci | "CoreGRID Institute on Programming Model" Miscellaneous document. |
| Aldinucci, Campa, Dazzi, Tonellotto and Zoppi | "D.NFCF.03 -- Methodology to derive performance models for component and composite components" Miscellaneous document. |
| Aldinucci, Campa, Dazzi, Tonellotto and Zoppi | "D.NFCF.04 -- NFCF prototype and early documentation" Miscellaneous document. |
| 2007 | |
| Aldinucci, Campa, Dazzi and Tonellotto | "D.NFCF.01 -- Non functional component subsystem architectural design" Miscellaneous document. |
| Aldinucci, Campa, Dazzi and Tonellotto | "D.NFCF.02 -- Non functional component subsystem architectural design (code)" Miscellaneous document. |
| 1997 | |
| Pravato, Bastonero and Ronchi Della Rocca | "Structures for Lazy Semantics" Miscellaneous document. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
