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 Both sides next revision
tools:ktbs [2015/07/16 18:07]
pchampin new team name
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 he [[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.+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