Erweiterte Suche

Grid  List

  1. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Deepak D’Souza
    Springer, Palgrave Macmillan
    04.10.2017

    This book constitutes the refereed proceedings of the 15 sup thsupInternational Symposium on Auto...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer, Springer
    07.01.2015

    This book constitutes the refereed proceedings of the 16th International Conference on Verificati...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Model checking trace-based information flow properties Model checking trace-based information flow properties

    Model checking trace-based information flow properties

    Raghavendra Kagalavadi Ramesh
    LAP Lambert Academic Publishing

    Information flow properties are a way of specifying security properties of systems. A system is v...

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