المؤلفون: de Groot, A., Hooman, J., Lemoine, M., Gaudiere, G., Winter, V.L., Kapur, D.

المصدر: Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking High assurance systems engineering High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on. :55-64 2001

Relation: Proceedings Sixth IEEE International High-Assurance Systems Engineering Symposium

المؤلفون: Vandevoorde, M.T., Kapur, D.

المصدر: Proceedings of 5th IEEE International Symposium on High Performance Distributed Computing High performance distributed computing High Performance Distributed Computing, 1996., Proceedings of 5th IEEE International Symposium on. :161-170 1996

Relation: Proceedings of 5th IEEE International Symposium on High Performance Distributed Computing

المؤلفون: Kapur, D., Lakshman, Y.N., Saxena, T.

المصدر: Proceedings of International Symposium on Computer Vision - ISCV Computer vision Computer Vision, 1995. Proceedings., International Symposium on. :97-102 1995

Relation: Proceedings of International Symposium on Computer Vision - ISCV

المؤلفون: Kapur, D., Narendran, P.

المصدر: [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on. :11-21 1992

Relation: 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science

المؤلفون: Nguyen, V.-D., Mundy, J.L., Kapur, D.

المصدر: Proceedings. 1991 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Computer Vision and Pattern Recognition, 1991. Proceedings CVPR '91., IEEE Computer Society Conference on. :479-485 1991

Relation: Proceedings 1991 IEEE Computer Society Conference on Computer Vision and Pattern Recognition

المؤلفون: Kapur, D.

المصدر: Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) High assurance systems engineering High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000. :142-143 2000

Relation: Proceedings of HASE 2000. 5th IEEE International Symposium on High-Assurance Systems Engineering

المؤلفون: Kapur, D., Ramamurti, R.

المصدر: IEEE Engineering Management Review IEEE Eng. Manag. Rev. Engineering Management Review, IEEE. 30(2):44-44 Jan, 2002

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Winter, V., Kapur, D., Fuehrer, G.

المساهمون: Kordon, Fabrice, editor^Aff1, Lemoine, Michel, editor^Aff2

المصدر: Formal Methods for Embedded Distributed Systems : How to master the complexity. :25-64