Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks.

Roland Kindermann Tommi A. Junttila Ilkka Niemelä

Published in: ACSD (2011)

Keyphrases

neural network
distributed systems
management system
statistical analysis
computing systems
data sets
data mining
safety analysis
artificial intelligence
case study
digital libraries
building blocks
quantitative analysis
embedded systems
structural analysis
mathematical modeling