يعرض 1 - 10 نتائج من 1,362 نتيجة بحث عن '"Kripke structure"', وقت الاستعلام: 1.22s تنقيح النتائج
  1. 1
    دورية أكاديمية

    المؤلفون: Liu, W., He, Q., Li, Z., Li, Y.

    المصدر: IEEE Transactions on Emerging Topics in Computational Intelligence IEEE Trans. Emerg. Top. Comput. Intell. Emerging Topics in Computational Intelligence, IEEE Transactions on. 8(1):264-278 Feb, 2024

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

    المؤلفون: Zhu, Weijun, Feng, Pan, Deng, Miaolei

    المصدر: 2019 IEEE 10th International Conference on Software Engineering and Service Science (ICSESS) Software Engineering and Service Science (ICSESS), 2019 IEEE 10th International Conference on. :646-648 Oct, 2019

    Relation: 2019 IEEE 10th International Conference on Software Engineering and Service Science (ICSESS)

  4. 4
    مؤتمر

    المصدر: 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) DASC-PICOM-CBDCOM-CYBERSCITECH Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech), 2019 IEEE Intl Conf on. :449-453 Aug, 2019

    Relation: 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)

  5. 5
    مؤتمر

    المؤلفون: Kolli, Manel

    المصدر: 2018 International Arab Conference on Information Technology (ACIT) Information Technology (ACIT), 2018 International Arab Conference on. :1-6 Nov, 2018

    Relation: 2018 International Arab Conference on Information Technology (ACIT)

  6. 6
    مؤتمر

    المؤلفون: Deng, Hui, Li, Zhi

    المصدر: 2018 Chinese Automation Congress (CAC) Automation Congress (CAC), 2018 Chinese. :538-543 Nov, 2018

    Relation: 2018 Chinese Automation Congress (CAC)

  7. 7
    مؤتمر

    المؤلفون: Chumakova, N. Y., Olenev, V. L.

    المصدر: 2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF) Wave Electronics and its Application in Information and Telecommunication Systems (WECONF), 2018. :1-7 Nov, 2018

    Relation: 2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)

  8. 8
    مؤتمر

    المؤلفون: Groefsema, H., Van Beest, N.

    المصدر: 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) Service-Oriented Computing and Applications (SOCA), 2015 IEEE 8th International Conference on. :108-115 Oct, 2015

    Relation: 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA)

  9. 9
    مؤتمر

    المؤلفون: Shkarupylo, Vadym

    المصدر: 2016 13th International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science (TCSET) Modern Problems of Radio Engineering. Telecommunications and Computer Science (TCSET), 2016 13th International Conference on. :495-497 Feb, 2016

    Relation: 2016 13th International Conference on Modern Problems of Radio Engineering. Telecommunications and Computer Science (TCSET)

  10. 10
    مؤتمر

    المصدر: 2013 IEEE 9th International Conference on Emerging Technologies (ICET) Emerging Technologies (ICET), 2013 IEEE 9th International Conference on. :1-6 Dec, 2013

    Relation: 2013 International Conference on Emerging Technologies (ICET)