[IEEE Proceedings. ISCC 2004. Ninth International Symposium on Computers And Communications (IEEE Cat. No.04TH8769) - Alexandria, Egypt (June 28 - July 1, 2004)] Proceedings. ISCC 2004. Ninth International Symposium on Computers And Communications (IEEE Cat. No.04TH8769) - A methodology to compute task remaining execution timeTasneem, S.; Ammar, R.; Sholl, H. · 2004

[IEEE 2004 IEEE International Symposium on Computer Aided Control Systems Design - Taipei, Taiwan (2-4 Sept. 2004)] 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) - Formal approach to compute hybrid automata models for linear physical systems with switchesBuisson, J.; Cormerais, H.; Zainea, M.; Gueguen, H.; Godoy, E. · 2004