نتایج جستجو برای: model checking

تعداد نتایج: 2124362  

Journal: :IEEE Transactions on Software Engineering 2018

Journal: :International Journal on Software Tools for Technology Transfer 2011

Journal: :Formal Aspects of Computing 2011

Journal: :Journal of Computer and System Sciences 2013

Journal: :Automated Software Engineering 2011

Journal: :Formal Methods in System Design 2006

Journal: :Electronic Notes in Theoretical Computer Science 2009

Journal: :Science of Computer Programming 1994

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید