نتایج جستجو برای: model checking
تعداد نتایج: 2124362 فیلتر نتایج به سال:
Journal:
:Advances in Software Engineering
2012
Journal:
:ACM Transactions on Software Engineering and Methodology
2007
Journal:
:IEEE Transactions on Software Engineering
2001
Journal:
:ACM Transactions on Computational Logic
2000
Journal:
:Electronic Notes in Theoretical Computer Science
2009
Journal:
:ACM Transactions on Embedded Computing Systems
2005
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید