This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
start [2013/02/08 14:47] pchampin created |
start [2021/05/05 09:09] (current) pchampin |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | This is the homepage of kTBS, a development effort | + | ====== Trace-Based System - a project |
| - | NB: This is only a prototype at the moment!... | + | (version français ci-dessous / french version below) |
| - | Here are some information about kTBS: | + | For a number of years, the [[https:// |
| - | | + | The goal of this website is to be a central access point to the tools we have been developed in order to help build such systems. |
| - | | + | |
| - | * [[https://github.com/ktbs/ktbs|github repository | + | The active projects at the moment are: |
| - | * [[http:// | + | |
| + | | ||
| + | * [[: | ||
| + | * [[https://projet.liris.cnrs.fr/ktbs4la2/|KTBS4LA2]]: | ||
| + | |||
| + | ---- | ||
| + | |||
| + | Depuis plusieurs années, les équipes | ||
| + | |||
| + | L' | ||
| + | |||
| + | Les projets actifs en ce moment sont: | ||
| + | |||
| + | The active projects at the moment are: | ||
| + | |||
| + | * [[: | ||
| + | * [[: | ||
| + | * [[https://projet.liris.cnrs.fr/ | ||
| - | For more information on Trace-Based Systems, see the [[http:// | ||