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.

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Software and Systems Modeling, 14(1):173-199, 2015. [doi]

Authors

Yliès Falcone

This author has not been identified. It may be one of the following persons: Look up 'Yliès Falcone' in Google

Mohamad Jaber

This author has not been identified. Look up 'Mohamad Jaber' in Google

Thanh-Hung Nguyen

This author has not been identified. Look up 'Thanh-Hung Nguyen' in Google

Marius Bozga

This author has not been identified. Look up 'Marius Bozga' in Google

Saddek Bensalem

This author has not been identified. Look up 'Saddek Bensalem' in Google
runs on