Roberto M. Ziller

According to our database, Roberto M. Ziller authored at least 2 papers in 2006.

Collaborative distances:

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

2006

Erstellung korrekter Spezifikationen für diskrete Systeme.

Roberto M. Ziller, Detlef Schmid

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

Verallgemeinerte Überwachersynthese.

Roberto M. Ziller

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