Alain Léveillé

Publication Activity (10 Years)

Years Active: 1982-1982
Publications (10 Years): 0

Publications

Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya
Experience with Formal Specifications Using an Extended State Transition Model. IEEE Trans. Commun. 30 (12) (1982)
Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya
Some Experience with the Use of Formal Specifications. PSTV (1982)