Henri B. Weinberg

Publication Activity (10 Years)

Years Active: 1992-1996
Publications (10 Years): 0

Publications

Henri B. Weinberg, Nancy A. Lynch
Correctness of vehicle control systems-a case study. RTSS (1996)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg
Hybrid I/O Automata. Hybrid Systems (1995)
Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle
Verification of Automated Vehicle Protection Systems. Hybrid Systems (1995)
Henri B. Weinberg, Lenore D. Zuck
Timed Ethernet: Real-Time Formal Specification of Ethernet. CONCUR (1992)