يعرض 1 - 10 نتائج من 369 نتيجة بحث عن '"Bruel, J.-M."', وقت الاستعلام: 1.27s تنقيح النتائج
  1. 1

    المصدر: Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. :21-25

    وصف الملف: print

  2. 2
    مؤتمر

    المؤلفون: Belloir, N., Romeo, F., Bruel, J.-M.

    المصدر: Proceedings. 30th Euromicro Conference, 2004. Euromicro conference Euromicro Conference, 2004. Proceedings. 30th. :66-73 2004

    Relation: Proceedings. 30th Euromicro Conference

  3. 3
    مؤتمر

    المؤلفون: Belloir, N., Bruel, J.-M., Barbier, F.

    المصدر: 2003 Proceedings 29th Euromicro Conference Euromicro conference Euromicro Conference, 2003. Proceedings. 29th. :86-91 2003

    Relation: Proceedings. 29th Euromicro Conference

  4. 4
    مؤتمر

    المصدر: Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques Industrial strength formal specification Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on. :50-57 1998

    Relation: Proceedings of 1998 Workshop on Industrial Strength Formal Specification Techniques

  5. 5
    مؤتمر

    المؤلفون: Benzekri, A., Bruel, J.-M.

    المصدر: Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Factory communication systems Factory Communication Systems, 1997. Proceedings. 1997 IEEE International Workshop on. :365-372 1997

    Relation: Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97

  6. 6
    مؤتمر

    المؤلفون: France, R.B., Bruel, J.-M., Raghavan, G.

    المصدر: Proceedings 1997 High-Assurance Engineering Workshop High-assurance systems engineering High-Assurance Systems Engineering Workshop, 1997., Proceedings. :8-13 1997

    Relation: Proceedings 1997 High-Assurance Engineering Workshop

  7. 7
    مؤتمر

    المصدر: First IEEE International Conference on Formal Engineering Methods Formal engineering methods Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on. :7-16 1997

    Relation: First IEEE International Conference on Formal Engineering Methods

  8. 8
    مؤتمر

    المؤلفون: Bruel, J.-M., France, R.B., Benzekri, A.

    المصدر: Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) Engineering of complex computer systems Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on. :336-343 1996

    Relation: Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW)

  9. 9
    مؤتمر

    المصدر: Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) High-assurance systems engineering High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE. :16-23 1996

    Relation: Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)

  10. 10
    دورية أكاديمية

    المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 29(5):459-470 May, 2003