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 “simon 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

    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

    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

    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

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

  • 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

  • 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

  • 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

  • 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.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

  • Leveraging Applications of Formal Methods, Verification and Validation. Practice

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 4 - Springer Nature Proceedings Computer Science
    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program ... Read more

    $62.99 USD

  • Dependable Computing – EDCC 2022 Workshops

    SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings

    Edited by Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Roberto Nardone, Francesco Flammini, Valeria Vittorini ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: 13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022.The 11 workshop ... Read more

    $49.49 USD