Ferruccio Zulian

According to our database, Ferruccio Zulian authored at least 2 papers between 1987 and 1996.

Collaborative distances:

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

1996

Specification and Verification of the PowerScale^TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS.

Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian

Proceedings of the Formal Description Techniques IX: Theory, 1996

1987

Design of a VLSI 32-bit microprocessor to be used on the CPU (IDP) of the Honeywell DPS4 follow-on computer.

Ferruccio Zulian, Tiziano Maccianti

Microprocessing and Microprogramming, 1987