Spelling suggestions: "subject:"parallélisme"" "subject:"parallélisée""
1 |
VENUS : un outil d'aide à la vérification des systèmes communicantsSoriano Montes, Amelia 09 January 1987 (has links) (PDF)
Description d'un outil d'aide à la conception et à la vérification de systèmes communicants qui est basé sur le calcul CCS de Milner.
|
Page generated in 0.058 seconds