Approches formelles des systemes embarques communicants traite ic2 serie informatique et systemes d' de Roux | Booklub