Filtrer vos résultats
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
2 résultats
|
|
triés par
|
|
Exploration randomisée de larges espaces d'états pour la vérificationInformatique [cs]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨NNT : ⟩
Thèse
tel-00557232v1
|
||
|
Systems Verification using Randomized Exploration of Large State SpacesSPIN, 2008, Los Angeles
Communication dans un congrès
hal-00953617v1
|