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