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

    المؤلفون: Liu, Meichen, Li, Hai

    المصدر: 2023 IEEE 13th International Conference on Electronics Information and Emergency Communication (ICEIEC) Electronics Information and Emergency Communication (ICEIEC), 2023 IEEE 13th International Conference on. :22-26 Jul, 2023

    Relation: 2023 IEEE 13th International Conference on Electronics Information and Emergency Communication (ICEIEC)

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

    المصدر: IEEE Open Journal of the Industrial Electronics Society IEEE Open J. Ind. Electron. Soc. Industrial Electronics Society, IEEE Open Journal of the. 4:417-431 2023

  3. 3
    دورية أكاديمية
  4. 4
    مؤتمر

    المصدر: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2022 IEEE 46th Annual. :161-166 Jun, 2022

    Relation: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)

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

    المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, van Leeuwen, Jan, Series EditorAff3, Hutchison, David, Editorial Board MemberAff4, Kanade, Takeo, Editorial Board MemberAff5, Kittler, Josef, Editorial Board MemberAff6, Kleinberg, Jon M., Editorial Board MemberAff7, Kobsa, Alfred, Series EditorAff8, Mattern, Friedemann, Editorial Board MemberAff9, Mitchell, John C., Editorial Board MemberAff10, Naor, Moni, Editorial Board MemberAff11, Nierstrasz, Oscar, Series EditorAff12, Pandu Rangan, C., Editorial Board MemberAff13, Sudan, Madhu, Series EditorAff14, Terzopoulos, Demetri, Editorial Board MemberAff15, Tygar, Doug, Editorial Board MemberAff16, Deshpande, R.D., Series EditorAff17, Vardi, Moshe Y, Series EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Harrison, Michael, editorAff24, Martinie, Célia, editorAff25, Micallef, Nicholas, editorAff26, Palanque, Philippe, editorAff27, Schmidt, Albrecht, editorAff28, Winckler, Marco, editorAff29, Yigitbas, Enes, editorAff30, Zaina, Luciana, editorAff31

    المصدر: Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium : Swansea, UK, June 26-27, 2023, Selected Papers. 14517:179-197

  6. 6
    مؤتمر

    المؤلفون: Tang, Weijian, Wang, Keming

    المصدر: 2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Intelligent Systems and Knowledge Engineering (ISKE), 2021 16th International Conference on. :24-29 Nov, 2021

    Relation: 2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)

  7. 7
    دورية أكاديمية
  8. 8
    مؤتمر

    المصدر: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2021 14th IEEE Conference on. :372-382 Apr, 2021

    Relation: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)

  9. 9
    مؤتمر

    المصدر: 2020 9th International Congress on Advanced Applied Informatics (IIAI-AAI) IIAI-AAI Advanced Applied Informatics (IIAI-AAI), 2020 9th International Congress on. :512-515 Sep, 2020

    Relation: 2020 9th International Congress on Advanced Applied Informatics (IIAI-AAI)

  10. 10
    مؤتمر

    المصدر: 2019 XXXIV Conference on Design of Circuits and Integrated Systems (DCIS) Design of Circuits and Integrated Systems (DCIS), 2019 XXXIV Conference on. :1-5 Nov, 2019

    Relation: 2019 XXXIV Conference on Design of Circuits and Integrated Systems (DCIS)