Results 211 to 220 of about 9,762 (227)

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
Mario Gleirscher, Simon Foster, Jim Woodcock   +2 more
exaly  

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert M Hierons, Jonathan P Bowen, John Derrick   +2 more
exaly  

Formal methods

ACM Computing Surveys, 2009
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui   +2 more
exaly  

Formal versus informal entrepreneurship in emerging economies: The roles of governance and the financial sector

Journal of Business Research, 2020
Anis Omri
exaly  

Formal safety assessment of cruise ships

Tourism Management, 2004
Jin Wang, T Ruxton
exaly  

The Interrelationships Among Informal Institutions, Formal Institutions, and Inward Foreign Direct Investment

Journal of Management, 2013
R Michael Holmes, Toyah L Miller, Michael A Hitt   +2 more
exaly  

On the Evolution of Trust, Distrust, and Formal Coordination and Control in Interorganizational Relationships

Group and Organization Management, 2007
Paul W L Vlaar, Frans A J Van Den Bosch, Henk W Volberda   +2 more
exaly  

Formal control and social control in domestic and international buyer–supplier relationships

Journal of Operations Management, 2010
En Xie, Hock-Hai Teo, Mike W Peng
exaly  

Knowledge reduction in decision formal contexts

Knowledge-Based Systems, 2011
Jinhai Li
exaly  

Economic and political institutions and entry into formal and informal entrepreneurship

Asia Pacific Journal of Management, 2014
Erkko Autio, Kun Fu, Autio Erkko
exaly