Formal Model-Based Development in Industrial Automation with Reactive Blocks.

Peter Herrmann Jan Olaf Blech

Published in: STAF Workshops (2016)

Keyphrases

industrial automation
development process
development environment
case study
knowledge based systems
formal model
data sets
software engineering
information processing
real time
neural network
database systems
expert systems
data driven
agent architecture
variable size