Sidebar
tools:ktbs
This is an old revision of the document!
kTBS
This is the homepage of kTBS, a development effort of the he Tweak team (formerly Silex) lead by Pierre-Antoine Champin to provide a generic kernel for Trace-Based Systems.
Here are some information about kTBS:
For more information on Trace-Based Systems, see the publications of the SILEX team.
tools/ktbs.1437062873.txt.gz · Last modified: 2015/07/16 18:07 by pchampin
|
|
|
|
|