Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Flexible design of complex high-integrity systems using trade offsBate, I. ; Audsley, N.Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings, 2004, p.22-31IEEETexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Automatic code generation for airborne systemsAudsley, N. ; Bate, l. ; Crook-Dawkins, S.2003 IEEE Aerospace Conference Proceedings (Cat. No.03TH8652), 2003, Vol.6, p.6_2863-6_2873IEEETexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
A method for reducing wave based teleoperator reflectionsBate, L.H. ; Cook, C.D. ; Li, Z.2009 IEEE International Conference on Industrial Technology, 2009, p.1-6IEEETexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Java virtual-machine support for portable worst-case execution-time analysisBate, L. ; Bernat, G. ; Puschner, P.Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002, 2002, p.83-90IEEETexto completo disponível |