LIBROS DEL AUTOR: robert kurshan

2 resultados para LIBROS DEL AUTOR: robert kurshan

robert kurshan Eliminar filtro Quitar filtros
  • Computer-Aided Verification of Coordinating Processes
    Robert P. Kurshan / Robert PKurshan
    Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstra...
    Disponible

    80,33 €

  • Computer-Aided Verification
    Robert Kurshan
    Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports ap...
    Disponible

    208,34 €