Mixing LOTOS and SDL Specifications.
Heinz SariaHeinrich NirschlCarl BindingPublished in: FORTE (1991)
Keyphrases
- formal specification language
- delay insensitive
- formal specification
- formal methods
- high level
- temporal logic
- blind source separation
- specification language
- temporal ordering
- neural network
- concurrent systems
- information retrieval
- search engine
- formal verification
- asynchronous circuits
- learning algorithm
- written in natural language