Showing 401 - 420 results of 739 for search '"Formal Methods"', query time: 0.19s Refine Results
  1. 401
    Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures /
    Published 2005
    Table of Contents: “… -- Static Analysis of Authentication -- FOSAD 2005 (19-24 September 2005) -- Formal Methods for Smartcard…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 402
    Modular Specification and Verification of Object-Oriented Programs
    by Müller, Peter, Müller, Peter
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  3. 403
    Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
    Published 2004
    Table of Contents: “… and Simulation -- Languages for Formal Methods -- Linking Architectural and Component Level System Views…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 404
    Security Protocols 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers /
    Published 2009
    Table of Contents: “… Architecture -- Phish and Chips -- Phish and Chips -- Where Next for Formal Methods? -- Where Next for Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 405
    Logical Aspects of Computational Linguistics 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  6. 406
    Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- Cryptographic Hardware Cryptographic Software -- Cryptographic Protocols -- Formal Methods in Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 407
    Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
    Published 2003
    Table of Contents: “… and Education towards Formal Methods Practice -- Poster Presentations -- Evaluating Agent-Based Modeling as a…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 408
    Computer Security – ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Formal Methods in Security I -- A Logic for State-Modifying Authorization Policies -- Inductive Proofs…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 409
    Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 410
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
    Published 2005
    Table of Contents: “… and Challenges in Model-Checking -- Applied Formal Methods – From CSP to Executable Hybrid Specifications.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 411
    Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  12. 412
    Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  13. 413
    Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  14. 414
    Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  15. 415
    Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  16. 416
    Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  17. 417
    Constraint-Based Verification
    by Yuan, Jun, Pixley, Carl, Aziz, Adnan
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  18. 418
    Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  19. 419
    Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  20. 420
    Service-Oriented Computing 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search