论文信息 - Fonnal Methods and Tools for the Development of Distributed and Real Time Systems Computing Science Notes Formal Methods and Tools for the Development of Distributed and Real Time Systems * Spec -esprit Project 3096 - 字舞流文

Fonnal Methods and Tools for the Development of Distributed and Real Time Systems Computing Science Notes Formal Methods and Tools for the Development of Distributed and Real Time Systems * Spec -esprit Project 3096

A. Pnueli | D. Gabbay | C. Courcoubetis | J. Sifakis | B. Jonsson | R. Gerth | R. Gabbay | H. Barringer | W.-P. | Roever | coordinator H. Barringer | Courcoubetis | M. Reed | J. Vytopil | M. Pnueli | W. P. De | Roever-H Barringer-C | D. Courcoubetis | Gerth-B | onsson-A | J. Reed | Vytopil-P | Wolper | Hee K M Van | W.-P De Roever-Coordinator | P. Wolper-Partners