User Tools

Site Tools


tools:ktbs

Differences

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

Link to this comparison view

Next revision
Previous revision
Next revision Both sides next revision
tools:ktbs [2014/09/27 19:51]
pchampin created
tools:ktbs [2015/07/16 20:05]
acordier
Line 1: Line 1:
-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.+{{tag>storage transformation}} 
 +====== kTBS ======
  
- +This is the homepage of kTBS, 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.
-NB: This is only prototype at the moment!…+
  
  
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