Showing 381 - 400 results of 739 for search '"Formal Methods"', query time: 0.23s Refine Results
  1. 381
    Formal SQL Tuning for Oracle Databases Practical Efficiency - Efficient Practice /
    Table of Contents: “… of the formal method for analysis of performance issues following Oracle migration.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 382
    Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /
    Published 1998
    Table of Contents: “…Challenges in the utilization of formal methods -- On the need for practical formal methods -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 383
    Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  4. 384
    Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I /
    Published 2014
    Table of Contents: “…: Computational Strategies and Applications -- Chemistry and Materials Sciences and Technologies -- Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 385
    Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
    Published 2002
    Table of Contents: “… Class Initialization for Java -- Applications of Formal Methods in Biology -- An Overview of Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 386
    Computer Safety, Reliability and Security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings /
    Published 2002
    Table of Contents: “… -- Software Challenges in Aviation Systems -- Application of Formal Methods (Poster Session) -- A Strategy…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 387
    Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /
    Published 2017
    Table of Contents: “… -- Security and Formal Methods -- SPTool – equivalence checker for SAND attack trees -- Formal Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 388
    Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
    Published 2013
    Table of Contents: “… for software components and services -- Composition and deployment: models, calculi, languages; formal methods…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 389
    Concise Guide to Software Engineering From Fundamentals to Application Methods /
    by O'Regan, Gerard
    Published 2017
    Table of Contents: “… and Dependability -- Formal Methods -- Z Formal Specification Language -- Unified Modeling Language -- Software…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 390
    Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  11. 391
    Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
    Published 2014
    Table of Contents: “… systems -- Coordination and feature interaction -- Integration of theories, formal methods and tools…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 392
    Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers /
    Published 2014
    Table of Contents: “… Interconnection of Medical Devices (Position Paper) -- Formal Methods -- A Modal Specification Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 393
    ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
    “…Εισαγωγή. <br/>Τυπικές Μέθοδοι (Formal Methods) και αλγεβρικές προδιαγραφές. <br/>Η οικογένεια των…”
    Get full text
    7
  14. 394
    Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  15. 395
    Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  16. 396
    Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings /
    Published 2017
    Table of Contents: “… -- 6 Formal Methods for Aerospace Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 397
    Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
    Published 2018
    Table of Contents: “…) -- Formal Methods for Interactive Systems (FMIS) -- Foundations of Coordination Languages and Self…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 398
    Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
    Published 2015
    Table of Contents: “… Morphism? -- Use Case Analysis Based on Formal Methods: An Empirical Study -- A Full Operational Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 399
    Methods and Procedures for the Verification and Validation of Artificial Neural Networks
    by Taylor, Brian J.
    Published 2006
    Table of Contents: “… Verification -- Neural Network Visualization Techniques -- Rule Extraction as a Formal Method -- Automated Test…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 400
    Computer Safety, Reliability, and Security 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings /
    Published 2004
    Table of Contents: “… Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search