Skip to content
Home
Search
Guides
Journals
Learning
Our Team
Get the App
🌐
EN
ES
FR
PT
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Search for more channels:
Author: Stellenbosch University. Faculty of . Dept. of
Channel Options
Show items as search results
Explore related channels
Quick Look
The design of a specification language suitable for the generation of compilers
Load more items
Similar Items: The design of a specification language suitable for the generation of compilers
Channel Options
View Record
Explore related channels
Quick Look
A Java bytecode compiler for the 8051 micro-controller
Quick Look
A Run-time environment for a validation language
Quick Look
Bis-snit ontwikkelingstelsel
Quick Look
A survey of proof systems for CSP
Quick Look
LF : a language for reliable embedded systems
Quick Look
An LTL verification system based on automata theory
Quick Look
Efficiency issues in the design of a model checker
Quick Look
Generalized nondeterminism and the succinct representation of regular languages
Quick Look
An algebraic framework for reasoning about privacy
Quick Look
A language to support verification of embedded software
Quick Look
Reducing the state explosion problem during model checking
Quick Look
Implementing a smalltalk to Java translator
Quick Look
Derivation and implementation of an extended entity-relationship data model
Quick Look
The language approach to the development of reliable concurrent programs
Quick Look
A model checker for the LF system
Quick Look
An investigation into performance-related issues of regular expression matching
Quick Look
Occam process monitor
Quick Look
Neural network-based language modelling for code-switching in South African languages.
Quick Look
Hybrid finite element and moment method modelling of microstrip patches
Quick Look
Evaluation of a Java microprocessor for use in future SUNSAT satellites
Quick Look
List coloring based algorithm for the Futoshiki puzzle
Quick Look
Early prediction of fabric quality using machine learning to reduce rework in manufacturing processes
Quick Look
Witte’s conditions for uniqueness of solutions to a class of Fractal-Fractional ordinary differential equations
Quick Look
Influence of rotation on peristaltic flow for pseudoplastic fluid: a wavy channel
Load more items
View Record
Prev
Explore related channels
Next
