Mike Heuchling

According to our database, Mike Heuchling authored at least 3 papers between 1997 and 2000.

Collaborative distances:

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

2000

Musterbasiertes Spezifizieren.

Mike Heuchling

PhD thesis, 2000

VXML: VHDL Hardware Design Representation in XML.

Wolfgang Ecker, Mike Heuchling, Jochen Mades, Thomas Schneider, André Windisch, Ke Yang

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

1997

The Shall-Prototype-Test Development model.

Michael Mrva, Mike Heuchling, Wolfgang Ecker

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997