Showing 21 - 40 results of 739 for search '"Formal Methods"', query time: 0.11s Refine Results
  1. 21
    Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  3. 23
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  4. 24
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
    Published 2005
    Table of Contents: “…: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 25
    Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  6. 26
    Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  7. 27
    NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /
    Published 2019
    Table of Contents: “… in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 28
    Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Abstraction and Modelling: A Complementary Partnership -- Teaching Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 29
    NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  10. 30
    Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  11. 31
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  12. 32
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
    by MΓ©ry, Dominique
    Published 2010
    Get full text
    Electronic Kit Book
  13. 33
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  14. 34
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  15. 35
    FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  16. 36
    Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  17. 37
    Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
    Published 2003
    Table of Contents: “… and Validation -- Using Formal Methods to Serialize Synchronization Events -- An AMBA-ARM7 Formal Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 38
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Published 2003
    Table of Contents: “… and Use of Formal Methods -- Verifying Emulation of Legacy Mission Computer Systems -- Improving Safety…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 39
    Formal Methods for Software Architectures Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures /
    Published 2003
    Table of Contents: “… and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 40
    Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
    Published 2002
    Table of Contents: “… -- Formal Methods in Enterprise Computing -- Unifying Theories of Parallel Programming -- Component…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search