This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
start [2013/04/16 11:13] pchampin |
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 |
| + | (version français ci-dessous / french version below) | ||
| - | NB: This is only a prototype at the moment!… | + | For a number of years, |
| + | 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. | ||
| - | Here are some information about kTBS: | + | The active projects at the moment |
| + | * [[: | ||
| + | * [[: | ||
| + | * [[https:// | ||
| - | * [[http:// | + | ---- |
| - | * [[http:// | + | |
| - | * [[https:// | + | |
| - | * [[http:// | + | |
| + | Depuis plusieurs années, les équipes [[https:// | ||
| + | |||
| + | L' | ||
| + | |||
| + | Les projets actifs en ce moment sont: | ||
| + | |||
| + | The active projects at the moment are: | ||
| + | |||
| + | * [[: | ||
| + | * [[: | ||
| + | * [[https:// | ||
| - | For more information on Trace-Based Systems, see the [[http:// | ||