Search DSpace
Advanced Search
Home
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Sign on to:
Receive email
updates
My DSpace
authorized users
Edit Profile
Help
About DSpace
Researchspace
>
Browsing by Author Seotsanyana, M
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
issue date
title
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 4 of 4
Issue Date
Title
Author(s)
Jan-2010
Temporal logic motion planning
Seotsanyana, M
Aug-2012
Temporal logic motion planning in robotics
Seotsanyana, M
Jul-2010
Temporal logic runtime verification of dynamic systems
Seotsanyana, M
Nov-2009
Verifying therapy safety interlock system with spin
Seotsanyana, M
;
Geldenhuys, J
Showing results 1 to 4 of 4
DSpace Software
Copyright © 2002-2010
Duraspace
-
Feedback
