Search Results - "formal methods"

Suggested Topics within your search.
  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Formal Methods for Safety and Security Case Studies for Aerospace Applications /

    Formal Methods for Safety and Security Case Studies for Aerospace Applications /

    Published 2018
    Full-text access
    View in OPAC
    e-Book
  2. 2
    Formal Methods for Discrete-Time Dynamical Systems

    Formal Methods for Discrete-Time Dynamical Systems by Belta, Calin, Yordanov, Boyan, Aydin Gol, Ebru

    Published 2017
    Full-text access
    View in OPAC
    e-Book
  3. 3
    Petri nets for systems engineering : a guide to modeling, verification, and applications /

    Petri nets for systems engineering : a guide to modeling, verification, and applications / by Girault, Claude

    Published 2003
    Subjects: “…Formal methods (Computer science) 71100…”
    View in OPAC
    Book
  4. 4
    Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria /

    Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria /

    Published 2016
    Table of Contents: “…Algorithms and Complexity -- Intelligent and Information Systems -- Networking and Cloud Computing -- Software Engineering and Formal Methods.…”
    Full-text access
    View in OPAC
    e-Book
  5. 5
    Formal System Verification State-of the-Art and Future Trends /

    Formal System Verification State-of the-Art and Future Trends /

    Published 2018
    Full-text access
    View in OPAC
    e-Book
  6. 6
    Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /

    Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach / by Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

    Published 2017
    Full-text access
    View in OPAC
    e-Book
  7. 7
    Synergies Between Knowledge Engineering and Software Engineering

    Synergies Between Knowledge Engineering and Software Engineering

    Published 2018
    Table of Contents: “…Aspect-Oriented Ontology Development -- Similarity-based Retrieval and Automatic Adaptation of Semantic Workflows -- Development of knowledge-based systems which use Bayesian networks -- Knowledge Acquisition during Software Development: Modeling with anti-patterns -- Knowledge Engineering of System Refinement -- Using the Event-B Formal Method and the Rodin framework for Verification the Knowledge Base of an Rule-Based Expert System -- Knowledge Engineering for Distributed Case-Based Reasoning Systems -- Knowledge engineering for decision support on diagnosis and maintenance in the aircraft domain -- OntoMaven - Maven-based Ontology Development and Management of Distributed Ontology Repositories -- References.…”
    Full-text access
    View in OPAC
    e-Book
  8. 8
    Modelling and Implementation of Complex Systems Proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria /

    Modelling and Implementation of Complex Systems Proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria /

    Published 2019
    Full-text access
    View in OPAC
    e-Book
  9. 9
    Multi-run Memory Tests for Pattern Sensitive Faults

    Multi-run Memory Tests for Pattern Sensitive Faults by Mrozek, Ireneusz

    Published 2019
    Full-text access
    View in OPAC
    e-Book
  10. 10
    New Data Structures and Algorithms for Logic Synthesis and Verification

    New Data Structures and Algorithms for Logic Synthesis and Verification by Amaru, Luca Gaetano

    Published 2017
    Full-text access
    View in OPAC
    e-Book
  11. 11
    Theory and Application of Reuse, Integration, and Data Science

    Theory and Application of Reuse, Integration, and Data Science

    Published 2019
    Full-text access
    View in OPAC
    e-Book
  12. 12
    Design Automation of Cyber-Physical Systems

    Design Automation of Cyber-Physical Systems

    Published 2019
    Full-text access
    View in OPAC
    e-Book
  13. 13
    Post-Silicon Validation and Debug

    Post-Silicon Validation and Debug

    Published 2019
    Full-text access
    View in OPAC
    e-Book
  14. 14
    Service Orientation in Holonic and Multi-Agent Manufacturing Proceedings of SOHOMA 2017 /

    Service Orientation in Holonic and Multi-Agent Manufacturing Proceedings of SOHOMA 2017 /

    Published 2018
    Full-text access
    View in OPAC
    e-Book
  15. 15
    Disciplinary Convergence in Systems Engineering Research

    Disciplinary Convergence in Systems Engineering Research

    Published 2018
    Table of Contents: “…An Architecture Profile for Human System Integration -- Chapter29. Formal Methods in Resilient Systems Design: Application to Multi-UAV System-of-Systems Control -- Chapter30. …”
    Full-text access
    View in OPAC
    e-Book

Search Tools: