Suggested Topics within your search.
Showing 1 - 15 results of 15 for search 'Model development and verification.', query time: 0.14s Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    Tools and algorithms for the construction and analysis of systems 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings /

    Tools and algorithms for the construction and analysis of systems 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice o...

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /

    Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Abstract state machines, Alloy, B, VDM, and Z third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

    Abstract state machines, Alloy, B, VDM, and Z third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Computational science and its applications-- ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings.

    Computational science and its applications-- ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings.

    Published 2013
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /

    Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Computational science and its applications-- ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings.

    Computational science and its applications-- ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings.

    Published 2012
    “…Metamodels Supporting the Development of Computational Models of the Human Innate …”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    Advances in grid and pervasive computing 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings /

    Advances in grid and pervasive computing 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings /

    Published 2012
    “…Elastic Application Development on Mobile Cloud Computing /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Computational science and its applications-- ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings.

    Computational science and its applications-- ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings.

    Published 2012
    “…Modeling Road Traffic Signals Control Using UML and …”
    Full Text (via Springer)
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /

    Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /

    Published 2012
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Parallel processing and applied mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers.

    Parallel processing and applied mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers.

    Published 2012
    “…Optimization for Parallel Job Model /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    Parallel computing technologies : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /

    Parallel computing technologies : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /

    Published 2013
    “…Distributed Real-Time Systems Modelling /…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    Advances in natural computation second international conference, ICNC 2006, Xi'an, China, September 24-28, 2006 : proceedings /

    Advances in natural computation second international conference, ICNC 2006, Xi'an, China, September 24-28, 2006 : proceedings /

    Published 2006
    “…Built on Watts-Strogatz Model --…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search