Animating LOTOS Specifications Using Amlog.

Atsushi Togashi Glenn Mansfield Norio Shiratori

Published in: Int. J. Softw. Eng. Knowl. Eng. (1996)

Keyphrases

formal specification language
high level
formal specification
delay insensitive
neural network
temporal ordering
virtual humans
expert systems
asynchronous circuits
virtual characters
operational semantics
data sets
website
search engine
data mining
real world
databases