Automata Based Validation Techniques

  • Doron A. Peled
  • Published 2017 in Dependable Software Systems Engineering

Abstract

Semantic Scholar extracted view of "Automata Based Validation Techniques" by Doron A. Peled

Topics

    0 Figures and Tables

      Download Full PDF Version (Non-Commercial Use)