System Safety through Formal Domain-Specific Languages.

Tim M. Bull Keith H. Bennett

Published in: SSS (1996)

Keyphrases

domain specific languages
formal methods
general purpose
programming language
database
data sets
databases
neural network
information retrieval
artificial intelligence
information systems
feature selection
search algorithm