يعرض 1 - 10 نتائج من 3,622 نتيجة بحث عن '"Timed Automata"', وقت الاستعلام: 0.80s تنقيح النتائج
  1. 1
    مؤتمر
    Algorithms for Static and Dynamic Placement of Network Administrators in SpaceFibre Networks with Dynamic Reconfiguration

    المؤلفون: Suvorova, Elena

    المصدر: 2024 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF) Wave Electronics and its Application in Information and Telecommunication Systems (WECONF), 2024. :1-9 Jun, 2024

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

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Verifying Opacity of Discrete-Timed Automata

    المؤلفون: Klein, Julian, Kogel, Paul, Glesner, Sabine

    المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :55-65 Apr, 2024

    Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Supervisory Control of Time-Interval Discrete Event Systems

    المؤلفون: Brandin, B., Su, R., Lin, L.

    المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 69(5):3080-3095 May, 2024

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Towards Safety Assessment of Robot Behaviors in SMACH

    المؤلفون: Kang, Eun-Young, Campusano, Miguel

    المصدر: 2023 30th Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2023 30th Asia-Pacific. :617-621 Dec, 2023

    Relation: 2023 30th Asia-Pacific Software Engineering Conference (APSEC)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer

    المؤلفون: Chen, Mi, Mokdad, Lynda, Othman, Jalel Ben, Fourneau, Jean-Michel

    المصدر: GLOBECOM 2023 - 2023 IEEE Global Communications Conference Global Communications Conference, GLOBECOM 2023 - 2023 IEEE. :2457-2462 Dec, 2023

    Relation: GLOBECOM 2023 - 2023 IEEE Global Communications Conference

    أضف إلى المفضلة
  6. 6
    مؤتمر
    Formal Modeling and Verification of the Security Mechanism in Smart Home Authentication

    المؤلفون: Wang, Luyu, Wang, Guoqing, Zhuang, Lei, Yang, Rui

    المصدر: 2023 3rd International Conference on Digital Society and Intelligent Systems (DSInS) Digital Society and Intelligent Systems (DSInS), 2023 3rd International Conference on. :36-40 Nov, 2023

    Relation: 2023 3rd International Conference on Digital Society and Intelligent Systems (DSInS)

    أضف إلى المفضلة
  7. 7
    مؤتمر
    A Tool for Transforming SysML State Machine into Uppaal Automatically

    المؤلفون: Wang, Shaopeng, Shi, Jianqi, Huang, Yanhong, Yang, Yang

    المصدر: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2023 IEEE International Conference on. :2471-2476 Oct, 2023

    Relation: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    مؤتمر
    A Model Checking Based Software Requirements Specification Approach for Embedded Systems

    المؤلفون: Yang, Xiao, Chen, Xiaohong, Wang, Jiangtao

    المصدر: 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) REW Requirements Engineering Conference Workshops (REW), 2023 IEEE 31st International. :184-191 Sep, 2023

    Relation: 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW)

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    Resource Demand Analysis of IoT Terminal Chips Based on Atomic Service Modeling

    المؤلفون: Zhang, Yigong, Nie, Yongjie, Liu, Siyang, Li, Jian, Mao, Yuxing, Jiang, Tianyan, Zhao, Xianping, Cao, Tiejun

    المصدر: 2023 IEEE/IAS Industrial and Commercial Power System Asia (I&CPS Asia) Industrial and Commercial Power System Asia (I&CPS Asia), 2023 IEEE/IAS. :1143-1147 Jul, 2023

    Relation: 2023 IEEE/IAS Industrial and Commercial Power System Asia (I&CPS Asia)

    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete

    المؤلفون: Göller, StefanAff1, IDs00224023101213_cor1, Hilaire, Mathieu

    المصدر: Theory of Computing Systems. 68(4):900-985

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء