Formal verification of automotive embedded UML designs by Bahig, Ghada

“…ISO-26262 mandates that ASILs C and D classified systems utilize walkthrough, semi-formal verification, inspection, control flow analysis, data flow analysis, static code analysis and semantic code analysis techniques to verify software unit design and implementation. …”
Get full text
Get full text

Assessment of the behaviour factor for the seismic design of reinforced concrete structural walls according to SANS 10160 : part 4 by Spathelf, Christian Alexander

Get full text

Examination of flexural crack width prediction in concrete: comparison of analytical and numerical models by Fredericks, Brandon

“…The reliability of crack prediction methods in concrete design plays a role in the degree of confidence with which durability can be ensured. …”
Get full text

Improved decoder metrics for DS-CDMA in practical 3G systems by Elbassiouny, Shady Osama Mahmoud

“…Multi-User Detectors (MUDs) and Error Correcting Codes (ECCs) are the primary means to combat MAI and fading. …”
Get full text
Get full text

Children's thinking in formal contexts : accommodating chaos and complexity in cognitive intervention

Get full text
Get full text

Impact assessment of large-scale penetration of permanent magnet synchronous generators on power quality by Ntsadu, Ntlahla

“…Despite these disadvantages, the grid code requires that PMSGs stay connected to the grid even under grid disturbances. …”
Get full text

A critical analysis of corporate reports that articulate corporate social responsibility by Bernard, Taryn

Get full text

The development, implementation and evaluation of a short course in Objective Structured Clinical Examination (OSCE) skills by De Villiers, Adele

Get full text

Narrative discourse characteristics of South African Afrikaans speaking Cape Coloureds with aphasia by Venter, Analou

“…The narrative discourse productions were transcribed and analysed using more stringent reliability measures. Measures of reliability were obtained by calculating inter-rater and intra-rater reliability measures. …”
Get full text

Benefits of smart grid technologies in South Africa by Masembe, Immaculate Angela

Get full text

Modified force/displacement-based procedure for performance-based seismic design of regular RC frames by ElKassas, Soha Hassan Nashaat

“…Adopting nonlinear regression, equations are developed for estimating the roof displacement as a factor of the performance target (in terms of the inter-story drift ratio) and some structural attributes such as the number of floors and bays. …”
Get full text
Get full text

The Development of an Economic Feasibility Decision Support System for a Building Automation and Control System by Nash, Sheldon Peter

Get full text

An Evaluation of the Psychometric Properties of the STPI (Form Y) for South African Students

Get full text

Remote monitoring of adult cochlear implant recipients using speech-in-noise testing

Get full text

An investigation of the 2012 Annual National Assessment Grade 6 mathematics instrument

Get full text