Ernst Kock

According to our database, Ernst Kock authored at least 2 papers in 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation.

Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Verification-Oriented Behavioral Modeling of Non-Linear Analog.

Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock

Proceedings of the Forum on specification and Design Languages, 2006