Part of the book series:Human–Computer Interaction Series ((HCIS))
3898Accesses
3Citations
The updated online version for this book can be found at DOI10.1007/978-3-319-51838-1_2, DOI10.1007/978-3-319-51838-1_5, DOI10.1007/978-3-319-51838-1_6, DOI10.1007/978-3-319-51838-1_8, DOI10.1007/978-3-319-51838-1_10, DOI10.1007/978-3-319-51838-1_11, DOI10.1007/978-3-319-51838-1_12, DOI10.1007/978-3-319-51838-1_13, DOI10.1007/978-3-319-51838-1_14, DOI10.1007/978-3-319-51838-1_15 and DOI10.1007/978-3-319-51838-1_16
You have full access to this open access chapter, Download chapter PDF
Erratum to: B. Weyers et al. (eds.),The Handbook of Formal Methods in Human-Computer Interaction, Human-Computer Interaction Series, DOI10.1007/978-3-319-51838-1
The original version of the book was inadvertently published without the following corrections:
In Chapter2, S. Van Mierlo (e-mail: simon.vanmierlo@uantwerpen.be), Y. Van Tendeloo (e-mail: yentl.vantendeloo@uantwerpen.be), Y. Van Tendeloo, B. Meyers (e-mail: bart.meyers@uantwerpen.be), and H. Vangheluwe (e-mail: hv@cs.mcgill.ca) have to be changed to read as J. Bowen (e-mail: jbowen@waikato.ac.nz), A. Dix (e-mail: alanjohndix@gmail.com), A. Dix, P. Palanque (e-mail: palanque@irit.fr), and B. Weyers (e-mail: weyers@vr.rwth-aachen.de), respectively.
In Chapter5, S. Van Mierlo (e-mail: simon.vanmierlo@uantwerpen.be) has to be changed to read as B. Weyers (e-mail: weyers@vr.rwth-aachen.de).
In Chapter6, S. Van Mierlo and Y. Van Tendeloo (e-mail: simon.vanmierlo@uantwerpen.be) has to be changed to read as J. Bowen and S. Reeves (e-mail: jbowen@waikato.ac.nz); Y. Van Tendeloo (e-mail: yentl.vantendeloo@uantwerpen.be) has to be changed to read as S.Reeves (e-mail: stever@waikato.ac.nz).
In Chapter8, S. Van Mierlo and Y. Van Tendeloo (e-mail: simon.vanmierlo@uantwerpen.be) has to be changed to read as P. Curzon and R. Rukšėnas (e-mail: p.curzon@qmul.ac.uk); Y. Van Tendeloo (e-mail: yentl.vantendeloo@uantwerpen.be) has to be changed to read as R. Rukšėnas (e-mail: r.ruksenas@qmul.ac.uk).
In Chapter10, S. Van Mierlo (e-mail: simon.vanmierlo@uantwerpen.be) has to be changed to read as B. Weyers (e-mail: weyers@vr.rwth-aachen.de).
In Chapter11, S. Van Mierlo and Y. Van Tendeloo (e-mail: simon.vanmierlo@uantwerpen.be) has to be changed to read as G. Maudoux and C. Pecheur (e-mail: guillaume.maudoux@uclouvain.be); Y. Van Tendeloo (e-mail: yentl.vantendeloo@uantwerpen.be) and B. Meyers (e-mail: bart.meyers@uantwerpen.be) have to be changed to read as C. Pecheur (e-mail: charles.pecheur@uclouvain.be) and S. Combéfis (e-mail: s.combefis@ecam.be), respectively.
In Chapter12, S. Van Mierlo and Y. Van Tendeloo (e-mail: simon.vanmierlo@uantwerpen.be) has to be changed to read as J. Bowen and A. Hinze (e-mail: jbowen@waikato.ac.nz); Y. Van Tendeloo (e-mail: yentl.vantendeloo@uantwerpen.be) has to be changed to read as A. Hinze (e-mail: hinze@waikato.ac.nz).
In Chapter13, S. Van Mierlo (e-mail: simon.vanmierlo@uantwerpen.be) and Y. Van Tendeloo (e-mail: yentl.vantendeloo@uantwerpen.be) have to be changed to read as M.L. Bolton (e-mail: mbolton@buffalo.edu) and E.J. Bass (e-mail: ejb96@drexel.edu), respectively.
In Chapter14, S. Van Mierlo (e-mail: simon.vanmierlo@uantwerpen.be) has to be changed to read as M.D. Harrison (e-mail: michael.harrison@ncl.ac.uk); Y. Van Tendeloo and B. Meyers (e-mail: yentl.vantendeloo@uantwerpen.be) has to be changed to read as P.M. Masci and J.C. Campos (e-mail: paolo.masci@inesctec.pt); B. Meyers (e-mail: bart.meyers@uantwerpen.be) and H. Vangheluwe (e-mail: hv@cs.mcgill.ca) have to be changed to read as J.C. Campos (e-mail: jose.campos@di.uminho.pt) and P. Curzon (e-mail: p.curzon@qmul.ac.uk), respectively.
In Chapter15, S. Van Mierlo , B. Meyers, and N. Rungta (e-mail: simon.vanmierlo@uantwerpen.be) has to be changed to read as G. Brat , D. Giannakopoulou, and N. Rungta (e-mail: Guillaume.P.Brat@nasa.gov); B. Meyers (e-mail: bart.meyers@uantwerpen.be), N. Rungta (e-mail: Neha.S.Rungta@nasa.gov), Y. Van Tendeloo (e-mail: yentl.vantendeloo@uantwerpen.be), H. Vangheluwe (e-mail: hv@cs.mcgill.ca), and F. Raimondi (e-mail: f.raimondi@mdx.ac.uk) have to be changed to read as D. Giannakopoulou (e-mail: Dimitra.Giannakopoulou@nasa.gov), N. Rungta (e-mail: Neha.S.Rungta@nasa.gov), S. Combéfis (e-mail: sebastien.combefis@uclouvain.be; s.combefis@ecam.be), C. Pecheur (e-mail: charles.pecheur@uclouvain.be), and F. Raimondi (e-mail: f.raimondi@mdx.ac.uk), respectively.
In Chapter16, G. Brat, S. Combéfis, and D. Giannakopoulou (e-mail: Guillaume.P.Brat@nasa.gov) has to be changed to read as S. Van Mierlo, Y. Van Tendeloo, and B. Meyers (e-mail: simon.vanmierlo@uantwerpen.be); S. Combéfis (e-mail: sebastien.combefis@uclouvain.be; s.combefis@ecam.be), D. Giannakopoulou (e-mail: Dimitra.Giannakopoulou@nasa.gov), C. Pecheur (e-mail: charles.pecheur@uclouvain.be), and C. Pecheur have to be changed to read as Y. Van Tendeloo (e-mail: yentl.vantendeloo@uantwerpen.be), B. Meyers (e-mail: bart.meyers@uantwerpen.be), H. Vangheluwe (e-mail: hv@cs.mcgill.ca), and H. Vangheluwe, respectively.
The erratum book has been updated with the changes.
Author information
Authors and Affiliations
Visual Computing Institute—Virtual Reality & Immersive Visualization, RWTH Aachen University, Aachen, Germany
Benjamin Weyers
Department of Computer Science, The University of Waikato, Hamilton, New Zealand
Judy Bowen
School of Computer Science, University of Birmingham, Birmingham, UK
Alan Dix
IRIT—Interactive Critical Systems Group, University of Toulouse 3—Paul Sabatier, Toulouse, France
Philippe Palanque
Talis Ltd., Birmingham, UK
Alan Dix
- Benjamin Weyers
Search author on:PubMed Google Scholar
- Judy Bowen
Search author on:PubMed Google Scholar
- Alan Dix
Search author on:PubMed Google Scholar
- Philippe Palanque
Search author on:PubMed Google Scholar
Corresponding author
Correspondence toBenjamin Weyers.
Editor information
Editors and Affiliations
Visual Computing Institute—Virtual Reality & Immersive Visualization, RWTH Aachen University, Aachen, Germany
Benjamin Weyers
Department of Computer Science, The University of Waikato, Hamilton, New Zealand
Judy Bowen
School of Computer Science, University of Birmingham, Birmingham, United Kingdom
Alan Dix
Universite de Toulouse, ICS-IRIT, Toulouse, France
Philippe Palanque
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Weyers, B., Bowen, J., Dix, A., Palanque, P. (2017). Erratum to: The Handbook of Formal Methods in Human-Computer Interaction. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds) The Handbook of Formal Methods in Human-Computer Interaction. Human–Computer Interaction Series. Springer, Cham. https://doi.org/10.1007/978-3-319-51838-1_21
Download citation
Published:
Publisher Name:Springer, Cham
Print ISBN:978-3-319-51837-4
Online ISBN:978-3-319-51838-1
eBook Packages:Computer ScienceComputer Science (R0)
Share this chapter
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative