Recent pages

Edit
page

New
page

Print
page
Page last modified 14:30, 5 Nov 2009 by benoit.ries
0
Page Notifications Off
LASSY > Projects > SPLACID

SPLACID

From $1

    A Formal Approach for Specification and Verification of an Advanced Transactional Frameworks Product Line for Dependable Distributed Systems Engineering

    PhD Student: Barbara Gallina
    Supervisor: Prof. Nicolas Guelfi
    Duration : 2006 - 2010

     

     

    Tags: (Edit tags)
    • No tags
    Attach file or image
    Files (0)
     
    Comments (0)
    You must login to post a comment.

     
    Powered by MindTouch