Henri B. Weinberg

According to our database, Henri B. Weinberg authored at least 4 papers between 1992 and 1996.

Collaborative distances:

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

1996

Correctness of vehicle control systems-a case study.

Henri B. Weinberg, Nancy A. Lynch

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

1995

Verification of Automated Vehicle Protection Systems.

Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Hybrid I/O Automata.

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1992

Timed Ethernet: Real-Time Formal Specification of Ethernet.

Henri B. Weinberg, Lenore D. Zuck

Proceedings of the CONCUR '92, 1992