Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST.

Yoshiki Kinoshita

Published in: ISORC (2009)

Keyphrases

formal semantics
model checking
neural network
logic programming
data sets
digital government
formal verification
knowledge representation
signature verification
concurrent systems