Conference item icon

Conference item

Échantillonnage préférentiel pour le model checking statistique

Actions


Authors


Publisher:
Hermès
Volume:
45
Host title:
Proceedings of (MSR'11)
Publication date:
2011-11-01
UUID:
uuid:bfa041e2-c5fc-48da-9b1a-6c07943fdc78
Local pid:
cs:9368
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP