Showing 141 - 160 results of 739 for search '"Formal Methods"', query time: 0.11s Refine Results
  1. 141
    Formal methods for industrial critical systems : a survey of applications /
    Published 2013
    Table of Contents: “…Formal Methods: Applying {Logics in, Theoretical} Computer Science /…”
    Full Text via HEAL-Link
    eBook
  2. 142
    Formal methods applied to complex systems : implementation of the B Method /
    Published 2014
    Subjects: “…Formal methods (Computer science)…”
    Full Text via HEAL-Link
    eBook
  3. 143
    Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
    by Schlechta, Karl, Schlechta, Karl
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  4. 144
    Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size /
    by Schlechta, Karl, Schlechta, Karl
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  5. 145
    Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  6. 146
    Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers /
    Published 2009
    Table of Contents: “…Invited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 147
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  8. 148
    Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  9. 149
    Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  10. 150
    Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  11. 151
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  12. 152
    Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Framework for the Definition of Stochastic Process Languages -- Applying a Formal Method in Industry: A 15…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 153
    Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  14. 154
    Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  15. 155
    Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  16. 156
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
    by Kowalewski, Stefan
    Published 2010
    Get full text
    Electronic Kit Book
  17. 157
    Formal Aspects of Computing The International Journal of Formal Methods
    Published 1990
    Journal
  18. 158
    1st Europe Summer School: Data Science
    Published 2017
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 159
    Proceedings of the 1st International Workshop on Robotics Software Engineering
    Published 2018
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 160
    Proceedings of the 2019 2nd International Conference on Computational Intelligence and Intelligent Systems
    Published 2019
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search