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.

The BART Case Study

Victor L. Winter, Fabrice Kordon, Michel Lemoine. The BART Case Study. In Fabrice Kordon, Michel Lemoine, editors, Formal Methods for Embedded Distributed Systems - How to Master the Complexity. pages 3-22, Kluwer, 2004. [doi]

Authors

Victor L. Winter

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

Fabrice Kordon

This author has not been identified. Look up 'Fabrice Kordon' in Google

Michel Lemoine

This author has not been identified. Look up 'Michel Lemoine' in Google
runs on