Échantillonnage préférentiel pour le model checking statistique
Benôıt Barbot‚ Serge Haddad and Claudine Picaronny
Address
Lille‚ France
Book Title
Proceedings of (MSR'11)
Month
nov
Publisher
Hermès
Series
Journal Européen des Systèmes Automatisés
Volume
45
Year
2011