Login / Signup

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.

Niklas KochdumperAhmad TarrafMalgorzata RechmalMarkus OlbrichLars HedrichMatthias Althoff
Published in: ASP-DAC (2020)
Keyphrases
  • formal analysis
  • analog circuits
  • digital circuits
  • fault diagnosis
  • agent model
  • formal methods
  • neural network
  • ban logic
  • decision making
  • case study
  • database systems
  • data model
  • software engineering