يعرض 1 - 10 نتائج من 132 نتيجة بحث عن '"Otter, Martin"', وقت الاستعلام: 0.93s تنقيح النتائج
  1. 1
    مؤتمر

    المصدر: 2020 28th Mediterranean Conference on Control and Automation (MED) Control and Automation (MED), 2020 28th Mediterranean Conference on. :188-193 Sep, 2020

    Relation: 2020 28th Mediterranean Conference on Control and Automation (MED)

  2. 2
    مؤتمر

    المصدر: 2016 IEEE International Symposium on Systems Engineering (ISSE) Systems Engineering (ISSE), 2016 IEEE International Symposium on. :1-8 Oct, 2016

    Relation: 2016 IEEE International Symposium on Systems Engineering (ISSE)

  3. 3
  4. 4
    كتاب إلكتروني

    المؤلفون: Otter, MartinAff1235

    المساهمون: Baillieul, John, editorAff1, Samad, Tariq, editorAff2

    المصدر: Encyclopedia of Systems and Control. :1367-1379

  5. 5
    مؤتمر

    المصدر: 2011 IEEE International Conference on Robotics and Automation Robotics and Automation (ICRA), 2011 IEEE International Conference on. :4702-4709 May, 2011

    Relation: 2011 IEEE International Conference on Robotics and Automation (ICRA)

  6. 6
    كتاب إلكتروني

    المساهمون: Hutchison, David, Editorial Board MemberAff1, Kanade, Takeo, Editorial Board MemberAff2, Kittler, Josef, Editorial Board MemberAff3, Kleinberg, Jon M., Editorial Board MemberAff4, Mattern, Friedemann, Editorial Board MemberAff5, Mitchell, John C., Editorial Board MemberAff6, Naor, Moni, Editorial Board MemberAff7, Pandu Rangan, C., Editorial Board MemberAff8, Steffen, Bernhard, Editorial Board MemberAff9, Aff17, Aff20, Terzopoulos, Demetri, Editorial Board MemberAff10, Tygar, Doug, Editorial Board MemberAff11, Weikum, Gerhard, Series EditorAff12, Goos, Gerhard, Founding EditorAff13, Hartmanis, Juris, Founding EditorAff14, Bertino, Elisa, Editorial Board MemberAff15, Gao, Wen, Editorial Board MemberAff16, Woeginger, Gerhard, Editorial Board MemberAff18, Aff21, Yung, Moti, Editorial Board MemberAff19

    المصدر: Computing and Software Science : State of the Art and Perspectives. 10000:283-310

  7. 7
    كتاب إلكتروني

    المؤلفون: Elmqvist, HildingAff15, Henningsson, ToivoAff16, Otter, MartinAff17

    المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Aff14, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Margaria, Tiziana, editorAff13

    المصدر: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. 9953:198-217

  8. 8
    كتاب إلكتروني

    المؤلفون: Otter, MartinAff1224

    المساهمون: Baillieul, John, editorAff1, Samad, Tariq, editorAff2

    المصدر: Encyclopedia of Systems and Control. :805-816

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