Compositional Verification of CCS Processes.

Mads Dam Dilian Gurov

Published in: Ershov Memorial Conference (1999)

Keyphrases

process model
model checking
real time
data sets
neural network
multiscale
special case
high security
verification method
information systems
decision making
database systems
digital libraries
control system
software development
communication channels