Verification-Oriented Behavioral Modeling of Non-Linear Analog.

Martin Freibothe, Jens Dge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock

Browse the full FDL paper archive.