Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Validation of a microkernel : a case study
Dissertation (Ph.D) -- University of Stellenbosch, 1999.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | en_ZA |
| Published: |
Stellenbosch : Stellenbosch University
2012
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Validation of a microkernel : a case study
- Development of a tool to test computer protocols
- Micro-kernel support for a lightweight extensible workstation operating system
- Diversity’s role in collaboration and conflict: a case-study of React.js
- Effective Fine-tuning for Low-resource Languages: A Case Study of Cangjie
- A comparison of two different model checking techniques
- Design and evaluation of a formula cache for SMT-based bounded model checking tools