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.

ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies

Sergio Contini, Stefan Scheer, Marc Wilikens, G. de Cola, G. G. M. Cojazzi. ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. In Rudolf Berghammer, Yassine Lakhnech, editors, Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998. Advances in computing science, pages 77-91, Springer, 1998. [doi]

Authors

Sergio Contini

This author has not been identified. Look up 'Sergio Contini' in Google

Stefan Scheer

This author has not been identified. Look up 'Stefan Scheer' in Google

Marc Wilikens

This author has not been identified. Look up 'Marc Wilikens' in Google

G. de Cola

This author has not been identified. Look up 'G. de Cola' in Google

G. G. M. Cojazzi

This author has not been identified. Look up 'G. G. M. Cojazzi' in Google
runs on