A Process-oriented Build Tool for Safety-critical Model-based Software Development.

Markus Hochstrasser Stephan Myschik Florian Holzapfel

Published in: MODELSWARD (2018)

Keyphrases

process oriented
safety critical
software development
computer supported
formal methods
fault tolerant
nuclear power plant
goal oriented
safety analysis
software engineering
agent architecture
support systems
real time
software systems
artificial intelligence
embedded systems
software components
metadata