Software safety: why, what, and how
ACM Computing Surveys (CSUR)
A course project to design and implement the kernel of a real-time operating system
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Tools for real time system design
ICSE '88 Proceedings of the 10th international conference on Software engineering
Computer assisted source-code parallelisation
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
| Hi-index | 0.00 |