Some Experience with the Use of Formal Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya. Some Experience with the Use of Formal Specifications. In Carl A. Sunshine, editor, Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. pages 171-185, North-Holland, 1982.

This author has not been identified. Look up 'Gregor von Bochmann' in GoogleThis author has not been identified. Look up 'Eduard Cerny' in GoogleThis author has not been identified. Look up 'Michel Gagne' in GoogleThis author has not been identified. Look up 'Claude Jard' in GoogleThis author has not been identified. Look up 'Alain Léveillé' in GoogleThis author has not been identified. Look up 'Clement Lacaille' in GoogleThis author has not been identified. Look up 'Michel Maksud' in GoogleThis author has not been identified. Look up 'K. S. Raghunathan' in GoogleThis author has not been identified. Look up 'Behçet Sarikaya' in Google

runs on WebDSL