COSTO/Kmelia

Recherche

Aller au contenu

Home – Français

Rechercher :

Home – Français

This website is currently available in english only.

click to continue

A Platform to Specify and Verify Component and Service Software

Overview

The COSTO toolbox is an Eclipse platform that consists of: a core module with an ANTLR-based parser and an API to access the Kmelia (internal) model, several verification and exportation modules, a set of eclipse plugins.

Rechercher :

Catégories

Aucune catégorie

Archives

Méta

Connexion
Flux des publications
Flux des commentaires
Site de WordPress-FR

local login

Fièrement propulsé par WordPress

Quick Contact ^

We want to thank you for contacting us through our website and let you know we have received your information. A member of our team will be promptly respond back to you.