1996 | ||
---|---|---|
4 | EE | Henri B. Weinberg, Nancy A. Lynch: Correctness of vehicle control systems-a case study. IEEE Real-Time Systems Symposium 1996: 62-72 |
1995 | ||
3 | Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle: Verification of Automated Vehicle Protection Systems. Hybrid Systems 1995: 101-113 | |
2 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg: Hybrid I/O Automata. Hybrid Systems 1995: 496-510 | |
1992 | ||
1 | Henri B. Weinberg, Lenore D. Zuck: Timed Ethernet: Real-Time Formal Specification of Ethernet. CONCUR 1992: 370-385 |
1 | Norman M. Delisle | [3] |
2 | Nancy A. Lynch | [2] [3] [4] |
3 | Roberto Segala | [2] |
4 | Frits W. Vaandrager | [2] |
5 | Lenore D. Zuck | [1] |