Extending the Translation from SDL to Promela.

Armelle Prigent Franck Cassez Philippe Dhaussy Olivier F. Roux

Published in: SPIN (2002)

Keyphrases

machine translation
cross language information retrieval
similarity measure
e learning
neural network
artificial intelligence
data streams
probabilistic model
statistical machine translation