PicNIc - Pi-calculus non-interference checker.

Silvia Crafa Matteo Mio Marino Miculan Carla Piazza Sabina Rossi

Published in: ACSD (2008)

Keyphrases

multipath
neural network
machine learning
evolutionary algorithm
end to end
formal language
spectrum sensing