LIBROS DEL AUTOR: markus dahlweid

1 resultados para LIBROS DEL AUTOR: markus dahlweid

markus dahlweid Eliminar filtro Quitar filtros
  • High Level Transition Systems of CSP Specifications
    Markus Dahlweid / Uwe Schulze
    State of the art quality assurance for safety critical software systems requires formal methods for verification and testing. One of the drawbacks using formal methods to model large systems is the state explosion of transition systems generated from formal specifications.The authors present an approach to reduce the problem of state explosions using a representation of the tra...
    Disponible

    96,23 €