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 Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff. A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. In Alessandro Abate, Gilles Geeraerts, editors, Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Volume 10419 of Lecture Notes in Computer Science, pages 318-334, Springer, 2017. [doi]

Authors

Hai Nguyen Van

This author has not been identified. Look up 'Hai Nguyen Van' in Google

Thibaut Balabonski

This author has not been identified. Look up 'Thibaut Balabonski' in Google

Frédéric Boulanger

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

Chantal Keller

This author has not been identified. Look up 'Chantal Keller' in Google

Benoît Valiron

This author has not been identified. Look up 'Benoît Valiron' in Google

Burkhart Wolff

This author has not been identified. Look up 'Burkhart Wolff' in Google
runs on