Team VASY

Members
Overall Objectives
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2004
Project: VASY

Project : vasy

Section: Dissemination


Software Dissemination and Internet Visibility

The Vasy team distributes two main software tools: the Cadp toolbox (see §  5.1) and the Traian compiler (see §  5.2). In 2004, the main facts are the following:

The VasyWeb site was regularly updated with scientific contents, announcements, publications, etc. Most notably, the following contents were produced in 2004:


previous
next

Logo Inria