Showing 701 - 720 results of 739 for search '"Formal Methods"', query time: 0.60s Refine Results
  1. 701
    SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Applicable Formal Methods -- Fast and Compact Prefix Codes -- New Results on the Complexity of Oriented…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 702
    Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  3. 703
    Intelligent Techniques and Tools for Novel System Architectures
    Published 2008
    Table of Contents: “… Endoscopy -- Knowledge Discovery and Management -- Formal Method for Aligning Goal Ontologies -- Smart Data…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 704
    Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings /
    Published 2004
    Table of Contents: “… for the Content-Based Representation of Information -- Formal Methods in Robotics -- Multi-agent Systems -- Games…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 705
    Mathematical Foundations of Computer Science 2002 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings /
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  6. 706
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  7. 707
    Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  8. 708
    Advances in Parallel and Distributed Computing and Ubiquitous Services UCAWSN & PDCAT 2015 /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  9. 709
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Framework -- Wolf – Bug Hunter for Concurrent Software Using Formal Methods -- Model Checking x86…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 710
    Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  11. 711
    Software Engineering Techniques: Design for Quality
    Published 2007
    Table of Contents: “… -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 712
    Parallel and Distributed Processing 11th IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12-16, 1999 Proceedings /
    Published 1999
    Table of Contents: “… -- Implementation and evaluation of MPI on an SMP cluster -- Fourth International Workshop on Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 713
    Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Localization Using Elastic Net: A New Statistical Approach -- Applying Formal Methods to Process Innovation…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 714
    Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings /
    Published 2010
    Table of Contents: “… on Formal Methods in Software Product Line Engineering (FMSPLE 2010) -- 3rd International Workshop…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 715
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Verification -- Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 716
    HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings /
    Published 2007
    Table of Contents: “…Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 717
    Extreme Programming and Agile Methods - XP/Agile Universe 2002 Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings /
    Published 2002
    Table of Contents: “… -- An Informal Formal Method for Systematic JUnit Test Case Generation -- A Light in a Dark Place: Test-Driven…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 718
    LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  19. 719
    Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  20. 720
    Building the Information Society IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France /
    Published 2004
    Table of Contents: “… Planning to Train Operation -- Integrated Formal Methods for Safety Analysis of Train Systems -- Stochastic…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search