LIBROS DEL AUTOR: georgios logothetis

1 resultados para LIBROS DEL AUTOR: georgios logothetis

georgios logothetis Eliminar filtro Quitar filtros
  • Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
    Georgios Logothetis
    This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-time systems. New sophisticated methods allow a formally verifiable design, development and realization of real-time systems di...
    Disponible

    82,70 €