Computational reflection and its application to platform verification.

Bruno C. Albertini Sandro Rigo Guido Araujo

Published in: Des. Autom. Embed. Syst. (2012)

Keyphrases

model checking
real time
artificial intelligence
case study
neural network
data mining
learning algorithm
decision making
open source
single image
temporal logic
mathematical programming
computational power
multimodal biometrics