ASP: An Aerospace Specification Process for Hardware Logic.

Carlos Renato dos Santos Johnny Cardoso Marques

Published in: WER 2022 (2022)

Keyphrases

neural network
genetic algorithm
case study
low cost
logic programming
databases
learning algorithm
web applications
data access
temporal logic
low power
formal methods
logical framework