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.

Model-Based Testing of Asynchronously Communicating Distributed Controllers

Bence Graics, Milán Mondok, Vince Molnár, István Majzik. Model-Based Testing of Asynchronously Communicating Distributed Controllers. In Javier Cámara, Sung-Shik Jongmans, editors, Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Volume 14485 of Lecture Notes in Computer Science, pages 23-44, Springer, 2023. [doi]

Authors

Bence Graics

This author has not been identified. Look up 'Bence Graics' in Google

Milán Mondok

This author has not been identified. Look up 'Milán Mondok' in Google

Vince Molnár

This author has not been identified. Look up 'Vince Molnár' in Google

István Majzik

This author has not been identified. Look up 'István Majzik' in Google
runs on