Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec.

José A. Mañas Joaquín Salvachúa Tomás de Miguel

Published in: FORTE (1991)

Keyphrases

implementation details
formal specification language
efficient implementation
artificial intelligence
software tools
database
data sets
data mining
video sequences
artificial neural networks
evolutionary algorithm
user friendly