Generation and verification of heterogeneous purchase processes.

Andrei Popovici Heiko Schuldt Hans-Jörg Schek

Published in: TES (2000)

Keyphrases

model checking
multiscale
formal verification
real time
databases
expert systems
loosely coupled
data mining
heterogeneous data
face verification
generation method
asynchronous circuits
concurrent systems