Showing 321 - 340 results of 739 for search '"Formal Methods"', query time: 0.11s Refine Results
  1. 321
    1002261.pdf
    Published 2018
    “…; data privacy; formal logic; formal methods; formal specification; internet; privacy; program…”
    Get full text
  2. 322
    1002306.pdf
    Published 2018
    “…computer architecture; computer software selection and evaluation; formal logic; formal methods…”
    Get full text
  3. 323
    1002305.pdf
    Published 2018
    “…; data privacy; formal logic; formal methods; formal specification; internet; privacy; program…”
    Get full text
  4. 324
    Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 325
    Computer Safety, Reliability, and Security 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Systems in Power Plants -- A Method of Analysis of Fault Trees with Time Dependencies -- Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 326
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 /
    Published 2015
    Table of Contents: “…Part I Applications of Formal Methods for Specification and Verification -- Optimal Component…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 327
    Formalizing Data-Centric Web Services
    by Saleh, Iman
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  8. 328
    Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
    Full Text via HEAL-Link
    Electronic eBook
  9. 329
    Formal System Verification State-of the-Art and Future Trends /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  10. 330
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  11. 331
    Advances in Cryptology – CRYPTO 2014 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part I /
    Published 2014
    Table of Contents: “…Symmetric Encryption and PRFs -- Formal Methods -- Hash Functions -- Groups and Maps -- Lattices…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 332
    Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /
    Published 2013
    Table of Contents: “…Self-stabilization -- Fault tolerance and dependability -- Formal methods and distributed systems…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 333
    Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- Analysis with formal methods -- Potential future areas of standardisation -- Proving existing standards.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 334
    Provably Correct Systems
    Published 2017
    Table of Contents: “… and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 335
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  16. 336
    Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “…Agent-based modelling -- Logic and formal methods -- Argumentation and rational choice…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 337
    Information Technologies in Environmental Engineering New Trends and Challenges /
    Published 2011
    Table of Contents: “…Information Technologies in Environmental Engineering -- Formal Methods and Data Processing…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 338
    Formal Algorithmic Elimination for PDEs
    by Robertz, Daniel
    Published 2014
    Table of Contents: “…Introduction -- Formal Methods for PDE Systems -- Differential Elimination for Analytic Functions…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 339
    Distributed Autonomous Robotic Systems The 10th International Symposium /
    Published 2013
    Table of Contents: “…: Coordination Algorithms and Formal Methods -- Part IV: Modularity, Distributed Manipulation, and Platforms.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 340
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
    Published 2007
    Table of Contents: “…A New Look at Formal Methods for Software Construction -- A New Look at Formal Methods for Software…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search