Login / Signup
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