Results 121 to 130 of about 1,861 (137)

New Opportunities for Integrated Formal Methods

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

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert Hierons, Mark Harman, Anthony J H Simons   +2 more
exaly  

Formal methods

ACM Computing Surveys, 2009
Juan Bicarregui, John Fitzgerald, James Woodcock   +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
Toyah Miller, R Michael Holmes, 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
Henk Volberda, Frans A J Van Den Bosch, Paul W L Vlaar   +2 more
exaly  

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

Journal of Operations Management, 2010
Mike Peng, Hock-Hai Teo
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
Kun Fu, Erkko Autio, Autio Erkko
exaly