Showing 1 - 4 results of 4 for search 'Lecomte, Thierry', query time: 0.02s Refine Results
  1. 1
    Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
    Published 2016
    Other Authors: “…Lecomte, Thierry…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
    Published 2016
    Other Authors: “…Lecomte, Thierry…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
    Published 2017
    Other Authors: “…Lecomte, Thierry…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings /
    Published 2019
    Other Authors: “…Lecomte, Thierry…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search