Lanoix, Arnaud, 1979-

VIAF ID: 190726975 (Personal)

Title	Sources
Introducing probabilistic reasoning within Event-B.
Introduction de raisonnement probabiliste dans la méthode B événementiel
Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés

Record ID	Action	Time
SUDOC\|103875298	add	2011-12-15T08:00:13+00:00
ISNI\|0000000356589099	add	2014-05-14T22:19:01+00:00