Communications dans un congrès (2) Publications auxquelles un chercheur a participé

1997

  1. Testing semantics for a probabilistic-timed process algebra

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Towards an optimal enclosure for the future large telescope in the ORM

    Proceedings of SPIE - The International Society for Optical Engineering