Showing 81 - 100 results of 739 for search '"Formal Methods"', query time: 0.31s Refine Results
  1. 81
    Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 82
    Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 83
    Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  4. 84
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  5. 85
    Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  6. 86
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 87
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Published 2014
    Table of Contents: “….- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 88
    Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  9. 89
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  10. 90
    Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  11. 91
    FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 92
    Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  13. 93
    Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /
    Published 2005
    Table of Contents: “… -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 94
    Formal Methods for Safety and Security Case Studies for Aerospace Applications /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  15. 95
    Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  16. 96
    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 /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  17. 97
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  18. 98
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
    Published 2007
    Table of Contents: “… in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 99
    Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  20. 100
    Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /
    Published 2019
    Table of Contents: “… Construction -- Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search