Nxumalo, Madoda
9  results:
Search for persons X
?
1

An evaluation of approaches to model checking real-time tas..:

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan
International Journal on Software Tools for Technology Transfer.  25 (2023)  1 - p. 115-128 , 2023
 
?
2

A Verification Tool for Real-Time Task Schedulability Analy..:

, In: South African Institute of Computer Scientists and Information Technologists; Communications in Computer and Information Science,
Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan - p. 48-60 , 2023
 
?
3

Spotlight Abstraction in Model Checking Real-Time Task Sche..:

, In: Model Checking Software; Lecture Notes in Computer Science,
Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan - p. 63-80 , 2021
 
?
 
?
 
1-9