نتایج جستجو برای: model checking
تعداد نتایج: 2124362 فیلتر نتایج به سال:
Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
Journal:
:KIPS Transactions on Software and Data Engineering
2016
Journal:
:Mathematics
2023
Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of most important principles in field social networks. Homophily, which means similarity breeds association, reveals nature organization. order to be able express association together, generalize basic network then define heterogeneous network. The is also defined ...
Journal:
:ACM SIGMETRICS Performance Evaluation Review
2008
Journal:
:Electronic Notes in Theoretical Computer Science
2002
Journal:
:The Journal of Logic and Algebraic Programming
2002
Journal:
:The Journal of Object Technology
2020
Journal:
:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2008
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید