Analyzing Chor Specifications by Translation into FSP.

Nima Roohi Gwen Salaün Seyed-Hassan Mirian-Hosseinabadi

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

high level
machine translation
information retrieval
functional requirements
data mining
multiscale
video sequences
distributed systems