Simulator for E-LOTOS Specifications.

Francisco Isidro Massetto Wanderley Lopes de Souza Sérgio Donizetti Zorzo

Published in: Annual Simulation Symposium (2002)

Keyphrases

formal specification language
formal specification
delay insensitive
simulation model
temporal logic
temporal ordering
written in natural language
functional requirements
formal methods
finite state machines
formal language
database
test bed
petri net
high level
case study
databases
real time