Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “thierry lecomte”
Skip side bar filters

  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings

    Edited by Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & ... Read more

    $58.49 USD

  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

    Edited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling ... Read more

    $62.99 USD

  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings

    Edited by Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided ... Read more

    $62.99 USD

  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

    Edited by Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and ... Read more

    $58.99 USD

  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

    Edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem ... Read more

    $49.99 USD

  • Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

    Edited by Thierry Lecomte, Leila Ribeiro ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Read more

    $49.49 USD

  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

    Edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017.The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and ... Read more

    $49.99 USD

People who read these also enjoyed

  • Software Technologies

    10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

    Edited by Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; ... Read more

    $49.49 USD

  • Evaluation of Novel Approaches to Software Engineering

    11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

    Edited by Leszek A. Maciaszek, Joaquim Filipe ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Read more

    $49.49 USD

  • ICT Innovations 2017

    Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings

    Edited by Dimitar Trajanov, Verica Bakeva ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Data-Driven Innovation, ICT Innovations 2017, held in Skopje, Macedonia, in September 2017.The 26 full papers presented were carefully reviewed and selected from 90 submissions. They cover the following topics: big data analytics, cloud computing, data mining, digital signal processing, e-health, embedded systems ... Read more

    $49.49 USD

  • Computer Safety, Reliability, and Security

    35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

    Edited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, ... Read more

    $49.99 USD

  • Model-Based Safety and Assessment

    8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings

    Edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of ... Read more

    $53.99 USD