Proving Correctness of JavaCard DL Taclets using Bali.

Kerry Trentelman

Published in: SEFM (2005)

Keyphrases

description logics
smart card
formal specification
expressive power
artificial intelligence
knowledge base
real time
data sets
neural network
image sequences
special case
fuzzy logic
semantic web
computational properties