A Methodology for the Characterisation of Leakages in Combinatorial Logic.

Guido Bertoni Marco Martinoli

Published in: SPACE (2016)

Keyphrases

design methodology
predicate logic
real world
information retrieval
social networks
computer vision
web services
multiscale
logic programming
process model
modal logic
proof theory