Login / Signup
Dynamic verification of Multicore Communication applications in MCAPI.
Subodh Sharma
Ganesh Gopalakrishnan
Eric Mercer
Published in:
HLDVT (2009)
Keyphrases
</>
dynamic environments
communication networks
data sets
databases
neural network
website
data processing
model checking
communication systems
formal methods