Structure-preserving modeling of safety-critical combinational circuits.

Feim Ridvan Rasim Canan Kocar Sebastian M. Sattler

Published in: DDECS (2017)

Keyphrases

structure preserving
safety critical
formal methods
dimensionality reduction
asynchronous circuits
logic circuits
agent architecture
regulatory requirements
real time
decision making
expert systems
high dimensional
data points
object oriented
modeling language
safety analysis