LIBROS DEL AUTOR: jan vytopil

2 resultados para LIBROS DEL AUTOR: jan vytopil

jan vytopil Eliminar filtro Quitar filtros
  • Formal Techniques in Real-Time and Fault-Tolerant Systems
    Jan Vytopil
    Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance’ refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-toler...
    Disponible

    208,00 €

  • Formal Techniques in Real-Time and Fault-Tolerant Systems
    Jan Vytopil
    This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practic...
    Disponible

    132,26 €