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
     
    Comments (0)
    You must login to post a comment.

     
    Powered by MindTouch