Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach.

Pantti Netinianti Tzilla Elrad

Published in: SEKE (2003)

Keyphrases

website
model checking
signature verification
asynchronous circuits
databases
neural network
search engine
knowledge base
learning environment
expert systems
information technology
temporal logic
temporal aspects
verification method