Results 161 to 170 of about 3,957,612 (180)

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Shang-Wei Lin, Palina Tolmach
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Michael Fisher, Clare Dixon
exaly  

Formal Methods in Railways: A Systematic Mapping Study

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

On formal concepts of random formal contexts

Information Sciences, 2021
Taro Sakurai
exaly  

Using formal specifications to support testing

ACM Computing Surveys, 2009
Gerald Luttgen, Robert Hierons, Mark Harman   +2 more
exaly  

Formal safety assessment of cruise ships

Tourism Management, 2004
Jin Wang, T Ruxton
exaly  

Knowledge reduction in decision formal contexts

Knowledge-Based Systems, 2011
Jinhai Li
exaly  

Formal and Informal Institutions and Development

World Development, 2010
Marina della Giusta
exaly  

A specifier's introduction to formal methods

Computer, 1990
J M Wing
exaly  

Rule acquisition and complexity reduction in formal decision contexts

International Journal of Approximate Reasoning, 2014
Ming-Wen Shao, Yee Leung, Wei-Zhi Wu
exaly