LIBROS DEL AUTOR: motlatsi seotsanyana

1 resultados para LIBROS DEL AUTOR: motlatsi seotsanyana

motlatsi seotsanyana Eliminar filtro Quitar filtros
  • Formal Analysis and Verification of Safety Interlock Systems
    Motlatsi Seotsanyana
    The ever-increasing reliance of society on computer systems has led to a need for highly reliable systems. There are a number of areas where computer systems perform critical functions and the development of such systems requires a higher level of attention than any other type of system. The appropriate approach in this situation is known as formal methods. Formal methods refer...
    Disponible

    60,52 €