Search for persons
X
?
South African Institute of Computer Scientists and Information Technologists; Communications in Computer and Information Science ,
2
A Verification Tool for Real-Time Task Schedulability Analy..:
, In:
?
Model Checking Software; Lecture Notes in Computer Science ,
3