Suggested Topics within your search.
Showing 21 - 40 results of 255 for search 'Model development and verification.', query time: 0.12s Refine Results
  1. 21
    Verification and validation of a three-dimensional generalized composite material model /

    Verification and validation of a three-dimensional generalized composite material model / by Hoffarth, Canio, Wilkinson, R. Allen

    Published 2015
    Online Access
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  2. 22
    Development, verification and use of gust modeling in the NASA computational fluid dynamics code FUN3D /

    Development, verification and use of gust modeling in the NASA computational fluid dynamics code FUN3D / by Bartels, Robert E.

    Published 2012
    Online Access
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  3. 23
    Development and verification of a resin film infusion/resin transfer molding simulation model for fabrcation of advanced textile composites

    Development and verification of a resin film infusion/resin transfer molding simulation model for fabrcation of advanced textile composites

    Published 1994
    Government Document Microfilm Book
    Save to List
    Saved in:
  4. 24
    Verification of a model for predicting the effect of inconstant temperature on embryonic development of lake whitefish (Coregonus clupeaformis) /

    Verification of a model for predicting the effect of inconstant temperature on embryonic development of lake whitefish (Coregonus clupeaformis) / by Berlin, William H.

    Published 1977
    Government Document Book
    Save to List
    Saved in:
  5. 25
    Development and verification of laboratory model techniques for prediction of near-field behavior of cooling-tower plumes /

    Development and verification of laboratory model techniques for prediction of near-field behavior of cooling-tower plumes /

    Published 1980
    Book
    Save to List
    Saved in:
  6. 26
    Development and verification of MOD-2 and MOD-0A simulation models. [Program listings of MOD2SIM and MOD0ASIM]

    Development and verification of MOD-2 and MOD-0A simulation models. [Program listings of MOD2SIM and MOD0ASIM]

    Published 1984
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
  7. 27
    Development and verification of a computational fluid dynamics model of a horizontal-axis tidal current turbine

    Development and verification of a computational fluid dynamics model of a horizontal-axis tidal current turbine by Lawson, Michael J.

    Published 2011
    Online Access
    Online Access
    Government Document Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 28
    Computer Aided Verification 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /

    Computer Aided Verification 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 29
    Embedded systems development from functional models to implementations /

    Embedded systems development from functional models to implementations /

    Published 2014
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  10. 30
    Leveraging applications of formal methods, verification and validation applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings.

    Leveraging applications of formal methods, verification and validation applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15...

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 31
    Leveraging applications of formal methods, verification and validation technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings.

    Leveraging applications of formal methods, verification and validation technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octobe...

    Published 2012
    “…Group-Based Component Model /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 32
    Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

    Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

    Published 2013
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  13. 33
    Foundations of computer software modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers /

    Foundations of computer software modeling, development, and verification of adaptive...

    Published 2011
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  14. 34
    The practice of enterprise modeling : 5th IFIP WG 8.1 Working Conference, PoEM 2012, Rostock, Germany, November 7-8, 2012, proceedings /

    The practice of enterprise modeling : 5th IFIP WG 8.1 Working Conference, PoEM 2012, Rostock, Germany, November 7-8, 2012, proceedings /

    Published 2012
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  15. 35
    Construction and evolution of code generators : a model-driven and service-oriented approach /

    Construction and evolution of code generators : a model-driven and service-oriented approach / by Jörges, Sven

    Published 2013
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  16. 36
    Model based systems engineering : fundamentals and methods /

    Model based systems engineering : fundamentals and methods / by Micouin, Patrice

    Published 2013
    Full Text (via Wiley)
    eBook
    Save to List
    Saved in:
  17. 37
    Model and data engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings /

    Model and data engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings /

    Published 2012
    “…Integrating a Formal Development for DSLs into Meta-modeling /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  18. 38
    Objects, models, components, patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings /

    Objects, models, components, patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings /

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  19. 39
    Social modeling for requirements engineering /

    Social modeling for requirements engineering /

    Published 2011
    “…for the analysis, verification, and simulation of i* models /…”
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  20. 40
    Social modeling for requirements engineering /

    Social modeling for requirements engineering /

    Published 2011
    “…for the analysis, verification, and simulation of i* models /…”
    Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search