This shows you the differences between two versions of the page.
Next revision | Previous revision Next revision Both sides next revision | ||
start [2013/02/08 14:47] pchampin created |
start [2017/02/03 17:02] 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:// |
- | * [[http:// | + | The goal of this website is to be a central access point to the tools we are developing in order to help build such systems. |
- | * [[http:// | + | |
- | * [[https:// | + | |
- | * [[http:// | + | |
- | For more information on Trace-Based Systems, see the [[http:// | + | ---- |
+ | |||
+ | Depuis plusieurs années, l' | ||
+ | |||
+ | L' | ||
+ | |||
+ | La page du kTBS est toujours [[tools: | ||
+ | |||
+ | /* Les groupes de travail sont [[gt: | ||