検索結果 9,401 - 9,410 結果 / 11,409 検索語 '"Models"', 処理時間: 0.03秒 結果の絞り込み
  1. 9401

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

    論文

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

    The CORBA connector model. 著者: Robert, Sylvain

    論文

    The CORBA connector model.
  3. 9403

    A middleware-independent model and language for component distribution. 著者: Schmid, Hans Albrecht

    論文

    A middleware-independent model and language for component distribution.
  4. 9404

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

    論文

    Advances in model-based software testing (A-MOST).
  5. 9405

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop. 著者: Bontemps, Yves

    論文

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop.
  6. 9406

    Modeling biological systems a unified approach. 著者: Darbari, Manuj

    論文

    Modeling biological systems a unified approach.
  7. 9407

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. 著者: Dingel, Juergen

    論文

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  8. 9408

    Merging partial behavioural models. 著者: Uchitel, Sebastian

    論文

    Merging partial behavioural models.
  9. 9409

    Reasoning about partial goal satisfaction for requirements and design engineering. 著者: Letier, Emmanuel

    論文

    Reasoning about partial goal satisfaction for requirements and design engineering.
  10. 9410

    Explaining abstract counterexamples. 著者: Chaki, Sagar

    論文

    Explaining abstract counterexamples.

検索ツール: