OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Boyer, Marc"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Sadani, Tarek and Boyer, Marc and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Effective representation of RT-LOTOS terms by finite time petri nets. (2006) In: FORTE'06 - 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, 26-29 Sept 2006, Paris, France .

Sadani, Tarek and Boyer, Marc and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre Mapping RT-LOTOS specifications into Time Petri Nets. (2006) In: ICFEM'06 - 8th International Conference on Formal Engineering Methods, 01-03 Nov 2006, Macao, China .

Boyer, Marc and Chassot, Christophe and Dairaine, Laurent and Diaz, Michel and Lozes, André and Owezarski, Philippe and Rojas-Cardenas, Luis Protocoles de transport multimédias. (2001) In: Système Multimédias Communicants. (Traité IC2, Réseaux et Télécoms ). Hermes Science, pp. 265-309. ISBN 2-7462-0251-4

This list was generated on Wed Nov 26 05:39:26 2014 CET.