Parts of this practice have been adapted from the "Adequacy Verification fragment" that is part of ADELFE:
Cossentino, M. & Seidita, V. (2005), SPEM Description of ADELFE Process, Technical Report, Consiglio Nazionale
delle Ricerche - Istituto di Calcolo e Reti ad Alte Prestazioni (ICAR-CNR), Sede di Palermo Viale delle Scienze
edificio 11 90128 Palermo. RT-ICAR-PA-05-07.
|