Results 181 to 190 of about 625,618 (200)

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek, Alessio Ferrari   +2 more
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, , Louise A Dennis
exaly  

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Palina Tolmach, Shang-Wei Lin, Zengxiang Li   +2 more
exaly  

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 safety assessment of cruise ships

Tourism Management, 2004
Jin Wang, T Ruxton
exaly  

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

Journal of Business Research, 2020
Anis Omri
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, Henk W Volberda
exaly