Ramon Biniasch

According to our database, Ramon Biniasch authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Erweiterung der UML um Zeitannotationen zur Analyse des Zeitverhaltens reaktiver Systeme.

Michael Kersten, Ramon Biniasch, Wolfgang Nebel, Frank Oppenheimer

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