Suggested Topics within your search.
Showing 1 - 20 results of 155 for search 'Model development and verification.', query time: 0.21s Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    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:
  5. 5
    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:
  6. 6
    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:
  7. 7
    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:
  8. 8
    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:
  9. 9
    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:
  10. 10
    Modelling foundations and applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings /

    Modelling foundations and applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings /

    Published 2012
    “…Chain for Automated Verification of UML Models of Embedded Systems /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Model-driven engineering languages and systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings /

    Model-driven engineering languages and systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings /

    Published 2013
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedings /

    Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedings /

    Published 2011
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Models, methods, and tools for complex chip design : selected contributions from FDL 2012 /

    Models, methods, and tools for complex chip design : selected contributions from FDL 2012 /

    Published 2013
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    SDL 2013 model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings /

    SDL 2013 model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings /

    Published 2013
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    Embedded systems design, analysis and verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /

    Embedded systems design, analysis and verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /

    Published 2013
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  16. 16
    Large-scale complex IT systems : development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers /

    Large-scale complex IT systems : development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers /

    Published 2012
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  17. 17
    Air pollution modeling and its application XIX /

    Air pollution modeling and its application XIX /

    Published 2008
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  18. 18
    Research and development in intelligent systems XXIX : Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012, the Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /

    Research and development in intelligent systems XXIX : Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012, the Thirty-second SGAI Internati...

    Published 2012
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  19. 19
    Air pollution modeling and its application XX

    Air pollution modeling and its application XX

    Published 2010
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Air pollution modeling and its application XXII /

    Air pollution modeling and its application XXII /

    Published 2013
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search