Showing 601 - 620 results of 739 for search '"Formal Methods"', query time: 0.13s Refine Results
  1. 601
    Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings /
    Published 2005
    Table of Contents: “… to Software Components -- Formal Methods -- Extending Ravenscar with CSP Channels -- Dynamic Tasks…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 602
    ECOOP '97 - Object-Oriented Programming 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  3. 603
    Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
  4. 604
    Fundamental Approaches to Software Engineering First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
    Published 1998
    Full Text via HEAL-Link
    Electronic eBook
  5. 605
    Οι προσδιοριστικοί παράγοντες της απουσίας από την εργασία στην Ελλάδα
    Get full text
    Thesis
  6. 606
    Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
    Published 2004
    Table of Contents: “… of Distributed Production Control Systems -- Combining Formal Methods and Safety Analysis – The ForMoSA Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 607
    Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  8. 608
    2020_Book_ReversibleComputationExtending.pdf
    Published 2020
    Get full text
  9. 609
    Post-Silicon Validation and Debug
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  10. 610
    ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  11. 611
    Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  12. 612
    Methods, Models and Tools for Fault Tolerance
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  13. 613
    Design Automation of Cyber-Physical Systems
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  14. 614
    Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  15. 615
    Cyberpatterns Unifying Design Patterns with Security and Attack Patterns /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  16. 616
    A Rigorous Semantics for BPMN 2.0 Process Diagrams
    Full Text via HEAL-Link
    Electronic eBook
  17. 617
    Foundations and Practice of Security 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  18. 618
    Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  19. 619
    Knowledge Management for Health Care Procedures From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  20. 620
    Software Engineering Research, Management and Applications 2009
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search