Communications publiées lors de congrès ou colloques nationaux et internationaux (20)
  1. 8. Currie, A., Leuschel, M., & Massart, T. (2000). Ltl model checking of csp by refinement. Proceedings of International Workshop on Verification and Computational logic VCL'2000 (pp. 49-63) (July 2000: London, UK).
  2. 9. Massart, T., Van Begin, L., & Van Nuffel, E. (1999). Design of timed systems using a real-time process algebra. Proceedings of the second Panhellenic logic symposium (p. 5) Panhellenic logic symposium(2: July 1999: Delphi, Greece).
  3. 10. Hernalsteen, C., De Jacquier De Rosee, A., & Massart, T. (1998). A toolset for the analysis of et-lotos specifications. Proceedings of the third international Workshop on Formal Methods for Industrial Critical Systems (pp. 231-256) (May 25-26 1998: CWI, Amsterdam, The Netherlands).
  4. 11. De Jacquier De Rosee, A., Goossens, J., Hernalsteen, C., & Massart, T. (1998). A simulator of real-time systems specified in et-lotos. In Proceedings of Applied Telecommunication Symposium (pp. 147-152) San Diego: Society for Computer Simulation International.
  5. 12. Hernalsteen, C., & Massart, T. (1995). An extended timed automaton to model et-lotos specifications. Proceedings of DARTS'95: Workshop on Design and Analysis of Real- Time Systems (pp. 95-112) (Bruxelles, Belgium).
  6. 13. Massart, T. (1991). Un calcul algébrique pour définir des raffinements corrects de spécifications lotos. In Actes du CFIP'91 Ingénierie des Protocoles (pp. 465-478) Paris: Hermès.
  7. 14. Cohen, A., Massart, T., Sales, B., & Van Binst, P. (1989). How to transfer files through telecom I while following the osi model. Proceedings of the I.C.D.S.C. 8: 8e Conférence internationale des Télécommunications numériques par satellite (pp. 199-206) I.C.D.S.C.(8: April 1989: Pointe-à-Pitre, Guadeloupe).
  8. 15. Cohen, A., Massart, T., & Van Binst, P. (1988). Etude et description d'un protocole de liaison de données pour liaison satellite. In Actes du CFIP'88 Ingénierie des Protocoles (pp. 203-218) Eyrolles.
  9. 16. Cohen, A., Le Cann, J., Massart, T., Prevost, J.-M., & Van Binst, P. (1988). High speed data communication by satellite in Europe: The helios architecture. Proceedings of the IEEE EUROCON '88 (pp. 261-264) (June 1988: Stockholm, Sweden).
  10. 17. Cohen, A., Hanon, C., Le Cann, J., Massart, T., Meulemans, N., Prevost, J.-M., Van Binst, P., & Vandenbroucke, R. (1987). The helios-b project: Towards high speed file transfers by satellite between heterogeneous computer's. Proceedings of the TENCON’87 1987 IEEE Region 10 conference: Computer and Communications Technology Toward 2000 (pp. 202-206) (August 1987: Seoul, South Korea).
  11. 18. Cohen, A., Massart, T., Rousseau, G., & Van Binst, P. (1986). Performance of open wide area networks. Proceedings of the European Networkshop (Copenhagen, Danmark)
  12. 19. Cohen, A., Massart, T., Van Binst, P., & Vandenbroucke, R. (1986). Helios-b: A research and development project in high-speed data communication. Proceedings of the 1986 Decus Europe Symposium (pp. 311-316) Decus Europe Symposium(Hamburg, West Germany).
    13. << Précédent 1 2 3 4 5 6 7 8 Suivant >>