Results 221 to 230 of about 4,840,372 (244)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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: A Survey
ACM Computing Surveys, 2020Michael Fisher, Clare Dixon
exaly
Using formal specifications to support testing
ACM Computing Surveys, 2009Gerald Lüttgen +2 more
exaly
Economic and political institutions and entry into formal and informal entrepreneurship
Asia Pacific Journal of Management, 2014Kun Fu, Erkko Autio
exaly

