Results 141 to 150 of about 8,003 (164)
Some of the next articles are maybe not open access.
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020, Michael Fisher, Clare Dixon
exaly
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Shang-Wei Lin, Palina Tolmach
exaly
New Opportunities for Integrated Formal Methods
ACM Computing Surveys, 2020James Woodcock +2 more
exaly
Using formal specifications to support testing
ACM Computing Surveys, 2009Robert Hierons +2 more
exaly