Team VASY

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

Project : vasy

Section: Dissemination


Software and Internet Dissemination

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

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


previous
next