FramewORk for Embedded System verification - (Competition Contribution).

Pablo González de Aledo Pablo Sánchez Espeso

Published in: TACAS (2015)

Keyphrases

main contribution
model checking
neural network
data mining
databases
information retrieval
metadata
web services
multi agent systems
information technology
lightweight
temporal logic
conceptual framework
computational framework