Reynaldo Zavala

According to our database, Reynaldo Zavala authored at least 2 papers in 2006.

Collaborative distances:

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

2006

Formal Verification of Abstract System and Protocol Specifications.

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen.

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala

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