Carlos Renato dos Santos

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Genetic Algorithm

Logical Framework

Top Venues

Publications

Carlos Renato dos Santos, Johnny Cardoso Marques
A Requirements Specification Method: An Experience Report in Aerospace. WER (2023)
Carlos Renato dos Santos, Johnny Cardoso Marques
ASP: An Aerospace Specification Process for Hardware Logic. WER 2022 (2022)