Formal Analysis Tools for the Synchronous Aspect Language Larissa.

Published in: EURASIP J. Embed. Syst. (2008)

Keyphrases

formal analysis
formal methods
natural language
programming language
software tools
modeling language
decision support
agent model
computer programs
language processing
language resources