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.

Early Verification and Validation of Mission Critical Systems

Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van. Early Verification and Validation of Mission Critical Systems. Electronic Notes in Theoretical Computer Science, 133:237-254, 2005. [doi]

Authors

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

André Rifaut

This author has not been identified. Look up 'André Rifaut' in Google

Jean-François Molderez

This author has not been identified. Look up 'Jean-François Molderez' in Google

Axel van Lamsweerde

This author has not been identified. Look up 'Axel van Lamsweerde' in Google

Hung Tran Van

This author has not been identified. Look up 'Hung Tran Van' in Google
runs on