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.

Formal verification of user-level real-time property patterns

Ning Ge, Marc Pantel, Silvano Dal-Zilio. Formal verification of user-level real-time property patterns. In Frédéric Mallet, Min Zhang 0002, Eric Madelaine, editors, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. pages 1-8, IEEE, 2017. [doi]

Authors

Ning Ge

This author has not been identified. Look up 'Ning Ge' in Google

Marc Pantel

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

Silvano Dal-Zilio

This author has not been identified. Look up 'Silvano Dal-Zilio' in Google
runs on