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

Get full text

Safety Verification of Networked Control Systems by Complex Zonotopes

Get full text

Real-Time Verification for Distributed Cyber-Physical Systems

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Subjects: “…Computer and Systems Architecture…”
Get full text
Get full text

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

Get full text

In-Silico design and verification of an extracorporeal normothermic cardiac perfusion system for use during heart transplantation procedures by Van Den Berg, Ronald

Get full text

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

Subjects: “…Embedded computer systems…”
Get full text

Enhancing Security, Privacy and Performance of Blockchain‐Based Verifiable Certificate Digital Identity Verification and Management Systems in the Education Sector Using the Plonk System

Get full text

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

Subjects: “…Pattern recognition systems…”
Get full text

In-Silico design and verification of an extracorporeal normothermic cardiac perfusion system for use during heart transplantation procedures by Van Den Berg, Ronald

Get full text

In-Silico design and verification of an extracorporeal normothermic cardiac perfusion system for use during heart transplantation procedures by Van Den Berg, Ronald

Get full text