Mostrando 31 - 40 Resultados de 63 Para Buscar '"Software / Program Verification."', tiempo de consulta: 0.02s Limitar resultados
  1. 31

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report. por Lakey, Peter B.

    Artículo

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report.
  2. 32

    Exception handling in component composition with the support of middleware. por Feng, Yaodong

    Artículo

    Exception handling in component composition with the support of middleware.
  3. 33

    Advances in model-based software testing (A-MOST). por Dalal, Siddhartha R.

    Artículo

    Advances in model-based software testing (A-MOST).
  4. 34

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. por Dingel, Juergen

    Artículo

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  5. 35

    PSE explaining program failures via postmortem static analysis. por Manevich, Roman

    Artículo

    PSE explaining program failures via postmortem static analysis.
  6. 36

    Explaining abstract counterexamples. por Chaki, Sagar

    Artículo

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. por Kremenek, Ted

    Artículo

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. por Kaveh, Nima

    Artículo

    Deadlock detection in distribution object systems.
  9. 39

    Increasing client-side confidence in remote component implementations. por Jagannathan, Ramesh

    Artículo

    Increasing client-side confidence in remote component implementations.
  10. 40

    Interface automata. por De Alfaro, Luca

    Artículo

    Interface automata.

Herramientas de búsqueda: