Results 221 to 230 of about 4,840,372 (244)

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H. ter Beek
exaly  

Formal Specification and Verification of Autonomous Robotic Systems: A Survey

ACM Computing Surveys, 2020
Michael Fisher, Clare Dixon
exaly  

Using formal specifications to support testing

ACM Computing Surveys, 2009
Gerald Lüttgen   +2 more
exaly  

Formal safety assessment of cruise ships

Tourism Management, 2004
Jin Wang, T Ruxton, A Wall
exaly  

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

Journal of Management, 2013
Toyah Miller   +2 more
exaly  

Economic and political institutions and entry into formal and informal entrepreneurship

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

Home - About - Disclaimer - Privacy