Advanced search
 Log In | New Account   
Home My Page Project Tree Code Snippets Project Openings Tina Bridges
Summary Activity Tracker Lists Tasks Docs News SCM Files

The goal of this project is to provide bridges to verify meta-models in the TINA verification tool.


Registered: 2007-02-27 11:35
Activity Percentile: 82.14%
View project Statistics or Activity.
View list of RSS feeds available for this project 
Developer Info
Project Admins:
Yann Verley
Developers:
Benoît Combemale
Florent Peres
Francois Vernadat
Frédéric PERU
serge bachmann

[View Members]

[Request to join]


Latest File Releases
Package Version Date Notes / Monitor Download
sam2tina1.0.0 May 24, 2007 Release Notes - Monitor this package Download
pdl2tina1.0.1 May 29, 2007 Release Notes - Monitor this package Download
PolaF3.9.6 Démonstrateur: Pola v2.3.1 January 8, 2009 Release Notes - Monitor this package Download

Public Areas
Home Page Project Home Page
TrackerTracker

 - Bugs ( 1 open /1 total )
Bug Tracking System

 - Support ( 0 open /0 total )
Tech Support Tracking System

 - Patches ( 0 open /0 total )
Patch Tracking System

 - Feature Requests ( 0 open /0 total )
Feature Request Tracking System

Docs DocManager: Project Documentation
Lists Mailing Lists ( 2 public mailing lists)
Tasks Task Manager
  - Next Release
  - To Do
SCM SCM Repository (CVS: 10 commits, 1,952 adds)
Anonymous FTP SpaceAnonymous FTP Space
Webcalendar

 
Latest News
No News Items Found

Linked projects
 Parent project: TOPCASED Model Verification Tools


Powered By GForge Collaborative Development Environment