32906 articles – 26198 Notices  [english version]
.:. Consultation > Par auteur > Abed .:.
2 documents classés par :

fulltext access Exploration randomisée de larges espaces d'états pour la vérification
Abed N.
Université Joseph-Fourier - Grenoble I (2009-06-16), Bruno Gaujal (Dir.) [tel-00557232 - version 1]
fulltext access Systems Verification using Randomized Exploration of Large State Spaces
Abed N., Tripakis S., Vincent J.-M.
Dans SPIN (2008) [hal-00953617 - version 1]