Search Results - verification systems

Search alternatives:

Refine Results
  1. Cover Image

    An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Safety Verification of Networked Control Systems by Complex Zonotopes

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Real-Time Verification for Distributed Cyber-Physical Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    A Cache System Design for CMPs with Built-In Coherence Verification

    Published in VLSI Design (2016)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    A language to support verification of embedded software by Swart, Riaan

    Published 2012
    Subjects: “…Computer software -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    Specification and verification of systems using model checking and Markov reward models by Lifson, Farrel

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  7. Cover Image

    A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Hidden Markov models for on-line signature verification by Wessels, Tiaan

    Published 2012
    Subjects: “…Pattern recognition systems…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  9. Cover Image

    Handwritten signature verification using hidden Markov models by Sindle, Colin

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  10. Cover Image

    Design and Implementation of UVM-based Verification Framework for Deep Learning Accelerators by Aboudeif, Randa Ahmed Hussein

    Published 2025
    Subjects: “…verification…”
    Get full text
    Get full text
    Full Text Available
    Access Full Text at Repository Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  11. Cover Image

    Formal specification and verification of safety interlock systems: A comparative case study by Seotsanyana, Motlatsi

    Published 2008
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  12. Cover Image

    Experimental Verification of a Battery Energy Storage System for Integration with Photovoltaic Generators

    Published in Advances in Power Electronics (2017)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Tree-based Gaussian mixture models for speaker verification by Cilliers, Francois Dirk

    Published 2006
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  14. Cover Image

    Development and verification of an electro-mechanical docking mechanism for flight by Serfontein, Gideon

    Published 2024
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  15. Cover Image

    Implementation and Application of the IORT INTRABEAM 600 System – Commissioning Measurements and Independent Treatment Verification

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    A model checker for the LF system by Gerber, Erick D. B.

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  17. Cover Image

    Handwritten signature verification : a hidden Markov model approach by Le Riche, Pierre (Pierre Jacques)

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  18. Cover Image

    Verification of theoretical culvert by Verbytska, Anastasiya Stanislavivna

    Published 2011
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  19. Cover Image

    A survey of proof systems for CSP by Van Zijl, Lynette

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  20. Cover Image

    Development and verification of a short-range ensemble numerical weather prediction system for Southern Africa

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: