Results 231 to 240 of about 25,995 (252)

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

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