Skip to content. Skip to navigation

QPQ Deductive Repository

Sections

Personal tools

Log in
Join

You are here: Home → VSR → Private → Repository → Remote Integration and Coordination of Verification Tools in jETI

Log in: Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.; Forgot your password?; New user?

Document Actions

Remote Integration and Coordination of Verification Tools in jETI

Slides provided by Tiziana Margaria (with Bernhard Steffen and Ralf Nagel).

Click here to get the file

Size 4.0 MB - File type application/pdf

by shankar — last modified 2006-02-10 00:25

What's up ?

Be notified when a document is published in this folder or below.

Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: