External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Deriving Software Specifications from Event Based Models

Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge. Deriving Software Specifications from Event Based Models. In Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King, editors, ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Volume 1878 of Lecture Notes in Computer Science, pages 209-229, Springer, 2000. [doi]

Authors

Nestor Lopez

This author has not been identified. Look up 'Nestor Lopez' in Google

Marianne Simonot

This author has not been identified. Look up 'Marianne Simonot' in Google

Véronique Donzeau-Gouge

This author has not been identified. Look up 'Véronique Donzeau-Gouge' in Google
runs on