Correction to: Learning Mealy Machines with Local Timers

Paul Kogel⁹,
Verena Klös¹⁰ &
Sabine Glesner⁹

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14308))

Included in the following conference series:

International Conference on Formal Engineering Methods

434 Accesses

The updated version of this chapter can be found at https://doi.org/10.1007/978-981-99-7584-6_4

You have full access to this open access chapter, Download conference paper PDF

Correction to: Chapter 4 in: Y. Li and S. Tahar (Eds.): Formal Methods and Software Engineering, LNCS 14308, https://doi.org/10.1007/978-981-99-7584-6_4

In the original version of this paper the text in Section 4.1 and the Figure 4 has been displayed incorrectly. This has been corrected.

Author information

Authors and Affiliations

Software and Embedded Systems Engineering, TU Berlin, Berlin, Germany
Paul Kogel & Sabine Glesner
Centre for Tactile Internet with Human-in-the-Loop (CeTI), TU Dresden, Dresden, Germany
Verena Klös

Authors

Paul Kogel
View author publications
You can also search for this author in PubMed Google Scholar
Verena Klös
View author publications
You can also search for this author in PubMed Google Scholar
Sabine Glesner
View author publications
You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Paul Kogel .

Editor information

Editors and Affiliations

Nanyang Technological University, Singapore, Singapore
Yi Li
Concordia University, Montreal, QC, Canada
Sofiène Tahar

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Kogel, P., Klös, V., Glesner, S. (2024). Correction to: Learning Mealy Machines with Local Timers. In: Li, Y., Tahar, S. (eds) Formal Methods and Software Engineering. ICFEM 2023. Lecture Notes in Computer Science, vol 14308. Springer, Singapore. https://doi.org/10.1007/978-981-99-7584-6_23

Download citation

DOI: https://doi.org/10.1007/978-981-99-7584-6_23
Published: 09 November 2023
Publisher Name: Springer, Singapore
Print ISBN: 978-981-99-7583-9
Online ISBN: 978-981-99-7584-6
eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics