Results 251 to 260 of about 3,696,710 (274)

Educação não formal, educação social e educação sociocomunitária: a cidade e metodologias

open access: yesRevista de Ciências da Educação
Renata Sieiro Fernandes, Margareth Brandini Park
doaj  

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   +2 more
exaly  

Formal safety assessment of cruise ships

Tourism Management, 2004
Jin Wang, T Ruxton
exaly  

Home - About - Disclaimer - Privacy