Results 291 to 300 of about 934,075 (313)

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  

Counting Formal Concepts of A Random Formal Context

2024 International Conference on Machine Learning and Cybernetics (ICMLC)
Lanzhen Yang, Eric C. C. Tsang, Chengling Zhang, Jiaming Wu   +3 more
openaire   +1 more source

Multi-level Formal Concepts in Fuzzy Formal Contexts

2007 IEEE International Conference on Granular Computing (GRC 2007), 2007
Ming-Wen Shao, Chang-Xuan Wan
openaire   +1 more source

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  

Computable formal contexts

Theoretical Computer Science
openaire   +1 more source