Results 161 to 170 of about 368,450 (185)

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

Revista de Ciências da Educação
Renata Sieiro Fernandes, Margareth Brandini Park
doaj  

Some of the next articles are maybe not open access.

Related searches:

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, Marie Farrell, Louise A Dennis   +2 more
exaly  

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Palina Tolmach, Shang-Wei Lin, Yang Liu   +2 more
exaly  

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
Mario Gleirscher, Simon Foster, Jim Woodcock   +2 more
exaly  

Using formal specifications to support testing

ACM Computing Surveys, 2009
Jonathan P Bowen, John Derrick, Mark Harman   +2 more
exaly