You are not logged in. Log in

Recent pages

Page last modified 13:30, 5 Nov 2009 by benoit.ries

Page Notifications Off

LASSY > Projects > SPLACID

SPLACID

From $1

Table of contents

1. A Formal Approach for Specification and Verification of an Advanced Transactional Frameworks Product Line for Dependable Distributed Systems Engineering
1. 1.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

Retrieved from "http://wiki.lassy.uni.lu/Projects/SPLACID"

Tags:

Attach file or image

Files (0)

Images (0)

Comments (0)

You must login to post a comment.

Powered by MindTouch Enterprise 2009