Suggested Topics within your search.
Showing 101 - 120 results of 1,707 for search '"formal methods"', query time: 0.13s Refine Results
  1. 101
    Formal methods in artificial intelligence /

    Formal methods in artificial intelligence / by Ramsay, Allan, 1953-

    Published 1988
    Book
    Save to List
    Saved in:
  2. 102
    Formal methods for hardware verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /

    Formal methods for hardware verification 6th International...

    Published 2006
    Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  3. 103
    Formal methods in system design.

    Formal methods in system design.

    Published 1992
    Request a PDF (UCB only)
    Journal
    Save to List
    Saved in:
  4. 104
    Formal methods in developmental psychology : progress in cognitive developmental research /

    Formal methods in developmental psychology : progress in cognitive developmental research /

    Published 1987
    Book
    Save to List
    Saved in:
  5. 105
    Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers /

    Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers /

    Published 2021
    Table of Contents: “…Rooting Formal Methods in Higher Education Curricula for Computer …”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 106
    Formal methods : foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings /

    Formal methods : foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings /

    Published 2021
    Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  7. 107
    Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings /

    Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings /

    Published 2021
    Subjects:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 108
    Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday /

    Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday /

    Published 2021
    Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  9. 109
    Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /

    Formal methods and software engineering : 19th International...

    Published 2017
    Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  10. 110
    Formal methods in systems engineering /

    Formal methods in systems engineering /

    Published 1993
    Book
    Save to List
    Saved in:
  11. 111
    Formal methods in architecture and urbanism /

    Formal methods in architecture and urbanism /

    Published 2018
    Table of Contents: “…-- 3rd Symposium Formal Methods in Architecture: Opening Speech -- Part …”
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  12. 112
    Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk Russia, June 28-July 2, 1993 : proceedings /

    Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk Russia, June 28-July 2, 1993 : proceedings /

    Published 1993
    Book
    Save to List
    Saved in:
  13. 113
    Formal methods for safety and security : case studies for aerospace applications /

    Formal methods for safety and security : case studies for aerospace applications /

    Published 2018
    Subjects: “…Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622.…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  14. 114
    Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, revised selected papers /

    Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE,...

    Published 2021
    Subjects:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  15. 115
    Moving formal methods into practice verifying the FTPP scoreboard, phase 1 results /

    Moving formal methods into practice verifying the FTPP scoreboard, phase 1 results / by Srivas, Mandayam

    Published 1992
    Government Document Microfilm Book
    Save to List
    Saved in:
  16. 116
    Formal Methods for Safety and Security : Case Studies for Aerospace Applications.

    Formal Methods for Safety and Security : Case Studies for Aerospace Applications. by Nanda, Manju

    Published 2017
    Table of Contents: “…-- References -- 2 Formal Methods and Tools for Safety of Critical Systems …”
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  17. 117
    Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings /

    Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings /

    Published 2014
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  18. 118
    Formal methods and object technology /

    Formal methods and object technology /

    Published 1996
    Book
    Save to List
    Saved in:
  19. 119
    Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /

    Software engineering and formal methods : 16th International Conference, SEFM 2018,...

    Published 2018
    Subjects:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  20. 120
    Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures /

    Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures /

    Published 2005
    Subjects: “…Formal methods (Computer science) Congresses.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search