LIBROS DEL AUTOR: maria spichkova

1 resultados para LIBROS DEL AUTOR: maria spichkova

maria spichkova Eliminar filtro Quitar filtros
  • Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle
    Maria Spichkova
    The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validation meth...
    Disponible

    97,02 €