Timothy Bourke's Information Page
Timothy Bourke
PhD Student
| To update this page please go to myCSE. |
Office: |
K17 401-22 |
Phone: |
+61 2 9385 6913 (Internal: x56913)
|
Fax: |
+61 2 9385 5995 (Internal: x55995)
|
Email: |
 |
Mail: |
School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia
|
|
| Reliable Device Drivers Require Well-Defined Protocols
L Ryzhyk, T Bourke, I Kuz, 37th annual IEEE/IFIP conference on dependable systems and networks, Supplemented volume, .
IEEE computer society, Los Alamitos, CA, USA, 2007, pp. 70 - 75 |
| A Timing Model For Synchronous Language Implementations In Simulink
T Bourke, A Sowmya, Proc. 6th ACM & IEEE Int. Conf. on Embedded Software, Sang Lyul Min, Wang Yi.
ACM, New York, USA, 2006, pp. 93 - 101 |
| Formal Models In Industry Standard Tools: An Argos Block Within Simulink
T Bourke, A Sowmya, International Journal of Software Engineering and Knowledge Engineering, .
World Scientific Publ Co Pte Ltd, Singapore, 2005, pp. 389 - 395 |
To update this page please go to myCSE
|
