UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
SAICSIT Proceedings: 1979-2001
→
1997 National Research and Development Conference
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:


New Filters:

Showing 2 out of a total of 2 results for collection: 1997 National Research and Development Conference. (0.005 seconds)

Now showing items 1-2 of 2

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Model checking software with symbolic trajectory evaluation

Hazelhurst, S (1997)
A risk model to allocate resources to different computerised systems

Kruger, HA; Hattingh, JM (1997)

Now showing items 1-2 of 2

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of UnisaIR
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor
- Type

My Account

Discover

Author
Date Issued
- 1997 (2)
Has File(s)
- Yes (2)