User Tools

Site Tools


tools:ktbs

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
tools:ktbs [2014/10/31 14:55]
pchampin
tools:ktbs [2015/07/16 20:05]
acordier
Line 2: Line 2:
 ====== kTBS ====== ====== kTBS ======
  
-This is the homepage of kTBS, a development effort of the [[http://liris.cnrs.fr/silex|SILEX]] team lead by [[http://champin.net/#pa|Pierre-Antoine Champin]] to provide a generic kernel for Trace-Based Systems.+This is the homepage of kTBS, a development effort of the [[https://liris.cnrs.fr/tweak/wiki/|Tweak]] team (formerly [[http://liris.cnrs.fr/silex|Silex]]lead by [[http://champin.net/#pa|Pierre-Antoine Champin]] to provide a generic kernel for Trace-Based Systems.
  
  
tools/ktbs.txt · Last modified: 2019/09/15 15:24 by pchampin

CNRS INSA de Lyon Université Lyon 1 Université Lyon 2 École centrale de Lyon