Michel Maksud

According to our database, Michel Maksud authored at least 3 papers between 1982 and 1984.

Collaborative distances:

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

1984

Use of Formal Specifications for Protocol Design, Implementation and Testing.

Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre

Proceedings of the Protocol Specification, 1984

1982

Experience with Formal Specifications Using an Extended State Transition Model.

Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya

IEEE Trans. Commun., 1982

Some Experience with the Use of Formal Specifications.

Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya

Proceedings of the Protocol Specification, 1982