External Links

Cite Key

Statistics

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

PDF

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.

From Goal-Oriented Requirements to Event-B Specifications

Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet. From Goal-Oriented Requirements to Event-B Specifications. In Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu, editors, First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. Volume NASA/CP-2009-215407 of NASA Conference Proceedings, pages 96-105, 2009.

Authors

Benjamin Aziz

This author has not been identified. Look up 'Benjamin Aziz' in Google

Alvaro Arenas

This author has not been identified. Look up 'Alvaro Arenas' in Google

Juan Bicarregui

This author has not been identified. It may be one of the following persons: Look up 'Juan Bicarregui' in Google

Christophe Ponsard

This author has not been identified. Look up 'Christophe Ponsard' in Google

Philippe Massonet

This author has not been identified. Look up 'Philippe Massonet' in Google
runs on