Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “alexander romanovsky”
Skip side bar filters

  • Trustworthy Cyber-Physical Systems Engineering

    Edición de Alexander Romanovsky, Fuyuki Ishikawa ...
    Series series Chapman & Hall/CRC Computer and Information Science Series
    From the Foreword"Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who wants to get a deep look at these concepts that will form a cornerstone for future CPS designs."- ... Leer más

    $66.99 USD

  • Industrial Deployment of System Engineering Methods

    Edición de Alexander Romanovsky, Martyn Thomas ...
    Series series Computer Science (R0)
    A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, ... Leer más

    $49.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

    Edición de 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 ... Leer más

    $49.99 USD

  • Computer Safety, Reliability, and Security

    38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

    Edición de Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and ... Leer más

    $58.99 USD

  • Computer Safety, Reliability, and Security

    SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

    Edición de Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are ... Leer más

    $67.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

    Edición de 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 ... Leer más

    $58.99 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

    Edición de 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 ... Leer más

    $49.99 USD

  • Software Engineering for Resilient Systems

    9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

    Edición de Alexander Romanovsky, Elena A. Troubitsyna ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Software Technologies

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

    Edición de 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; ... Leer más

    $49.49 USD

  • Evaluation of Novel Approaches to Software Engineering

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

    Edición de 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 ... Leer más

    $49.99 USD

  • Big Data Analytics and Knowledge Discovery

    18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings

    Edición de Sanjay Madria, Takahiro Hara ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and ... Leer más

    $49.99 USD

  • Computer Safety, Reliability, and Security

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

    Edición de 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, ... Leer más

    $49.99 USD