Erweiterte Suche

Grid  List

  1. Modeling and Verification of Parallel Processes Modeling and Verification of Parallel Processes

    Modeling and Verification of Parallel Processes

    Franck Cassez
    Springer, Springer
    24.10.2001

    Daily life relies more and more on safety critical systems, e.g. in areas such as power plant con...

    Taschenbuch
    45,96 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Franck Cassez
    Springer, Springer
    05.09.2008

    This book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Franck Cassez
    Springer, Springer
    29.09.2014

    This book constitutes the proceedings of the 12th International Symposium on Automated Technology...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1