Results 211 to 220 of about 472,572 (232)

Mulheres negras nas exatas: debates em espaço de educação não formal

Educacion Quimica, 2022
G. A. Faustino, R. Vargas, Clarissa Alves Carneiro Bernardes, Ludwaler Rodrigues Silva, Morgana Abranches Bastos, Marta Cezaria de Oliveira, C. R. M. Benite, A. Benite   +7 more
semanticscholar   +1 more source

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  

Juventude ativa: protagonismo juvenil em prática na educação não formal

, 2021
Jéssica Vitória da Conceição Justino, Amanda Nascimento Santana, Viviane de Bona   +2 more
semanticscholar   +1 more source

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  

Formal methods

ACM Computing Surveys, 2009
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui   +2 more
exaly  

Formal versus informal entrepreneurship in emerging economies: The roles of governance and the financial sector

Journal of Business Research, 2020
Anis Omri
exaly  

Formal safety assessment of cruise ships

Tourism Management, 2004
Jin Wang
exaly