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

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

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

An investigation into nonlinear system identification through simulation by Strydom, O. M.(Otto Marsel)

Subjects: “…System identification…”
Get full text

Optimization in simulation identification of nonlinear systems by Mostert, J. F.(Johannes Frederik)

Get full text

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

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

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

Subjects: “…Pattern recognition systems…”
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

Handwritten signature verification using hidden Markov models by Sindle, Colin

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

“…Experimental results identified a time delay in relation to the identified set of functional and control parameters when achieving target physiological pressures, informing future system optimisation. Further findings allowed for the identification of relative flow proportion exiting through the Left Circumflex and Right Major Coronary arteries and was shown to behave as a second order time derivative with respect to the inflow waveform applied to a fabricated flow phantom during testing. …”
Get full text

System identification and modal tracking on ship structures by Soal, Keith Ian

Subjects: “…System identification…”
Get full text

The identification of requirements for a maintenance management system by Pauw, B. A.(Berthold Aris)

Get full text

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

Get full text

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

Get full text

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

Subjects: “…verification…”
Get full text
Get full text