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

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Efficiency issues in the design of a model checker by Geldenhuys, Jacobus

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Generalized nondeterminism and the succinct representation of regular languages by Van Zijl, Lynette

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Occam process monitor by Van der Walt, Maria Elizabeth

Subjects: “…occam (Computer program language)…”
Get full text

Evaluation of C# for a station controller in a reconfigurable manufacturing system by Graefe, Rainer

Subjects: “…C# (Computer program language)…”
Get full text

Dynamic modelling of traction loads and renewable energy systems on shared power lines for power quality assessment by Naude, Hein

Subjects: “…Dynamic models (Computer program language)…”
Get full text

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

Subjects: “…Programming languages (Electronic computers)…”
Get full text

A Java bytecode compiler for the 8051 micro-controller by Mbhambhu, Tsakani Joseph

Subjects: “…Java (Computer program language)…”
Get full text

Exploding biplots with density axes in Plotly by Sandilands, Delia

Subjects: “…Plotly (Computer program language)…”
Get full text

Numerical investigation of pressure recovery in an induced draught air-cooled condenser for CSP application. by Bekker, G. M.

Subjects: “…CSP (Computer program language)…”
Get full text

Neural network-based language modelling for code-switching in South African languages. by Jansen van Vuren, Joshua

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Derivation and implementation of an extended entity-relationship data model by Greeff, Jeanette

Subjects: “…Programming languages (Electronic computers) -- Semantics…”
Get full text

An algebraic framework for reasoning about privacy by Rajaona, Solofomampionona Forunat

Subjects: “…Programming languages…”
Get full text

Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Adaptive occupancy grid mapping with measurement and pose uncertainty by Joubert, Daniek

Subjects: “…SLAM (Computer program language)…”
Get full text

The development and evaluation of an Erlang control system for reconfigurable manufacturing systems by Kruger, Karel

Subjects: “…ERLANG (Computer program language)…”
Get full text

Java implementation of AX.25 link-layer protocol for future micro-satellites by Ramonyalioa, Thethe Tshepo

Subjects: “…Java (Computer program language)…”
Get full text

Development of an integrated numerical method for the fatigue analysis of railway bogies by Nickerson, Brendon Mark

Subjects: “…Dynamic models (Computer program language)…”
Get full text

Design and implementation of a model predictive control on a pixhawk flight controller. by Amadi, Chinedu Amata

Subjects: “…Autopilot (Computer program language)…”
Get full text

Simulation of pre-biotic formation of metabolic networks with the appearance of heritable catalysts of random specificity by Du Plessis, Anna Christina

Subjects: “…Python (Computer program language) -- Data processing…”
Get full text