This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
tools:ktbs [2014/09/27 20:27] pchampin |
tools:ktbs [2015/07/16 20:05] acordier |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | {{tag> | ||
====== kTBS ====== | ====== kTBS ====== | ||
- | A kernel for Trace-Based Systems. | + | This is the homepage of kTBS, a development effort of the [[https:// |
- | {{tag> | + | |
- | + | ||
- | This is the homepage of kTBS, a development effort of the [[http:// | + | |
- | + | ||
- | + | ||
- | NB: This is only a prototype at the moment!… | + | |