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.

A Model-Based Combination Language for Scheduling Verification

Hui Zhao, Ludovic Apvrille, Frédéric Mallet. A Model-Based Combination Language for Scheduling Verification. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers. Volume 1161 of Communications in Computer and Information Science, pages 27-49, Springer, 2019. [doi]

Authors

Hui Zhao

This author has not been identified. Look up 'Hui Zhao' in Google

Ludovic Apvrille

This author has not been identified. Look up 'Ludovic Apvrille' in Google

Frédéric Mallet

This author has not been identified. Look up 'Frédéric Mallet' in Google
runs on