Prikaz rezultata 31 – 40 od 63 za pretragu '"Software/Program Verification."', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 31

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

    Članak

    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. od Feng, Yaodong

    Članak

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

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

    Članak

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

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

    Članak

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

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

    Članak

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

    Explaining abstract counterexamples. od Chaki, Sagar

    Članak

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. od Kremenek, Ted

    Članak

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. od Kaveh, Nima

    Članak

    Deadlock detection in distribution object systems.
  9. 39

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

    Članak

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

    Interface automata. od De Alfaro, Luca

    Članak

    Interface automata.

Alati za pretragu: