Markus Wild

According to our database, Markus Wild authored at least 2 papers between 1997 and 1998.

Collaborative distances:

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

1998

A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems.

Thomas Kropf, Jürgen Ruf, Klaus Schneider, Markus Wild

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

1997

A parallel hybrid approach to hard optimization problems.

Uwe Hinsberger, Reiner Kolla, Markus Wild

Proceedings of the Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, 1997