Showing 1 - 20 results of 739 for search '"formal methods"', query time: 0.12s Refine Results
  1. 1
    Formal methods : industrial use from model to the code /
    Published 2012
    Table of Contents: “…From classic languages to formal methods -- Formal method in railway, the first complex application…”
    Full Text via HEAL-Link
    eBook
  2. 2
    Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Methods An Appetizer /
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
    by Beth, Evert Willem
    Published 1962
    Book
  5. 5
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
    Published 2016
    Table of Contents: “…Invited Contributions -- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
    Published 2016
    Table of Contents: “… for Program Approximations -- A Proof Infrastructure for Binary Programs.-Application of Formal Methods -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Cooperation of Formal Methods in an Engineering Based Software Development Process -- Developing Control…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Mathematics -- Motivating Study of Formal Methods in the Classroom -- Formal Systems, Not Methods -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Published 2004
    Table of Contents: “…Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /
    Published 2014
    Table of Contents: “… monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
    Published 2013
    Table of Contents: “…Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search