Showing 681 - 700 results of 739 for search '"Formal Methods"', query time: 0.35s Refine Results
  1. 681
    Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings /
    Published 2000
    Table of Contents: “…) -- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 682
    Disciplinary Convergence in Systems Engineering Research
    Published 2018
    Table of Contents: “… Model -- Chapter28. An Architecture Profile for Human System Integration -- Chapter29. Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 683
    Computational Linguistics and Intelligent Text Processing Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings /
    Published 2002
    Table of Contents: “… -- Formal Methods of Tokenization for Part-of-Speech Tagging -- Sepe: A POS Tagger for Spanish -- Fuzzy Set…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 684
    Advances in Databases and Information Systems 5th East European Conference, ADBIS 2001, Vilnius, Lithuania September 25-28, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Database as a Dynamic System with Implicit State -- The Use of Aggregate and Z Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 685
    Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  6. 686
    Software Engineering Research and Applications First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers /
    Published 2004
    Table of Contents: “… Block Diagram Calculation Tool to Design Very Complex Systems -- Formal Methods -- Computer-Aided…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 687
    Technologies for Business Information Systems
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  8. 688
    Advances in Cryptology – EUROCRYPT 2010 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 – June 3, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Automated Tools and Formal Methods -- Automatic Search for Related-Key Differential Characteristics in Byte…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 689
    Handbook of Model Checking
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  10. 690
    Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
    Published 2001
    Table of Contents: “… -- Panel Sessions -- Panel Discussion: "Empirical Versus Formal Methods" -- Panel Discussion: "Future…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 691
    Advances in Network Analysis and its Applications
    Published 2013
    Table of Contents: “… , S. Vaudenay -- 8. Formal Method for (k)-Neighborhood Discovery Protocols: R.Jamet, P.Lafourcade -- 9. A…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 692
    LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  13. 693
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Published 1999
    Table of Contents: “… -- Formal Methods for Conformance Testing: Theory Can Be Practical -- Processor Verification -- Proof…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 694
    Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  15. 695
    Intelligent Agents VII. Agent Theories Architectures and Languages 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings /
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  16. 696
    Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  17. 697
    Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  18. 698
    Embedded Software for SoC
    Published 2003
    Table of Contents: “… Code Generation Targeting a RTOS -- Formal Methods for Integration of Automotive Software…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 699
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    Published 2007
    Table of Contents: “… for Coordinating Data-Parallel Programs -- Formal Methods in Industrial Software Standards Enforcement -- Visual…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 700
    Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Against Active Insiders -- Security Protocols and Formal Methods -- Formalising Receipt-Freeness…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search