A Framework Based on Implementation Relations for Implementing LOTOS Specifications.

Published in: Comput. Networks ISDN Syst. (1992)

Keyphrases

theoretical framework
complexity analysis
specification language
layered architecture
real time
real world
genetic algorithm
decision trees
high level
main contribution
efficient implementation
semantic relations