نتایج جستجو برای: formal methods

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

Journal: :Journal of Software Maintenance: Research and Practice 1995

Journal: :Software Testing, Verification and Reliability 2002

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

2003
Christoph R. Weiss Antje Wittkopp Christoph Weiss

Substantial increases in retail concentration (particularly in Europe) raise concerns about the welfare implications for consumers. In a formal model, we argue that retailer market power reduces upstream firms incentives to introduce new products. On the basis of a survey of firms in German food manufacturing, the results of a negative binomial regression model supports the proposition of a det...

2017
Raquel Oliveira Prates Philippe A. Palanque Benjamin Weyers Judy Bowen Alan J. Dix

Part

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

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