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:// | ||