Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Symposium on Real-Time and Hybrid Systems Symposium on Real-Time and Hybrid Systems

    Symposium on Real-Time and Hybrid Systems

    Cliff Jones
    Springer International Publishing, Springer Nature Switzerland
    29.09.2018

    This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift con...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Verification of Simulink/Stateflow Diagrams Formal Verification of Simulink/Stateflow Diagrams

    Formal Verification of Simulink/Stateflow Diagrams

    Naijun Zhan
    Springer International Publishing, Springer International Publishing
    29.06.2018

    This book presents a state-of-the-art technique for formal verification of continuous-time Simuli...

    Taschenbuch
    123,04 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Dependable Software Engineering: Theories, Tools, and Applications Dependable Software Engineering: Theories, Tools, and Applications

    Dependable Software Engineering: Theories, Tools, and Applications

    Martin Fränzle
    Springer International Publishing, Springer International Publishing
    06.10.2016

    This book constitutes the refereed proceedings of the Second International Symposium on Dependabl...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Verification of Simulink/Stateflow Diagrams Formal Verification of Simulink/Stateflow Diagrams

    Formal Verification of Simulink/Stateflow Diagrams

    Naijun Zhan
    Springer International Publishing, Springer International Publishing
    14.11.2016

    This book presents a state-of-the-art technique for formal verification of continuous-time Simuli...

    Gebunden
    123,04 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods Formal Methods

    Formal Methods

    Marieke Huisman
    Springer International Publishing, Springer Nature Switzerland
    10.11.2021

    This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, ...

    Taschenbuch
    117,69 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1