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.

Assumption-Commitment Specifications and Safety-Critical Systems

Georg Rock, Werner Stephan, Andreas Wolpers. Assumption-Commitment Specifications and Safety-Critical Systems. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 125-135, Verlag Shaker, 1998.

Authors

Georg Rock

This author has not been identified. Look up 'Georg Rock' in Google

Werner Stephan

This author has not been identified. Look up 'Werner Stephan' in Google

Andreas Wolpers

This author has not been identified. Look up 'Andreas Wolpers' in Google
runs on