Results 191 to 200 of about 409,995 (216)

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  

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

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Palina Tolmach   +2 more
exaly  

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
Mario Gleirscher   +2 more
exaly  

Home - About - Disclaimer - Privacy