Rule-based refinement of high-level nets preserving safety properties.

Julia Padberg Magdalena Gajewsky Claudia Ermel

Published in: Sci. Comput. Program. (2001)

Keyphrases

high level
low level
expert systems
data driven
artificial intelligence
rule base
neural network
genetic algorithm
information systems
decision making
programming language
low level features
rule based systems