Preface

Loek Cleophas; Mieke Massink

Preface

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

Originele taal-2	Engels
Titel	Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
Redacteuren	Loek Cleophas, Mieke Massink
Uitgeverij	Springer
Pagina's	v-vi
ISBN van elektronische versie	978-3-030-67220-1
ISBN van geprinte versie	978-3-030-67219-5
Status	Gepubliceerd - 2021
Evenement	2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020 - Amsterdam, Nederland Duur: 14 sep. 2020 → 15 sep. 2020

Publicatie series

Naam	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Uitgeverij	Springer
Volume	12524
ISSN van geprinte versie	0302-9743

Congres

Congres	2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020
Land/Regio	Nederland
Stad	Amsterdam
Periode	14/09/20 → 15/09/20

Toegang tot document

https://link.springer.com/content/pdf/bfm%3A978-3-030-67220-1%2F1.pdf

Andere bestanden en links

Link to publication in Scopus

Citeer dit

Cleophas, L., & Massink, M. (2021). Preface. In L. Cleophas, & M. Massink (editors), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (blz. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12524). Springer. https://link.springer.com/content/pdf/bfm%3A978-3-030-67220-1%2F1.pdf

Cleophas, Loek ; Massink, Mieke. / Preface. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. redacteur / Loek Cleophas ; Mieke Massink. Springer, 2021. blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{c99006279d8b4321b899eafa6bba4891,

title = "Preface",

author = "Loek Cleophas and Mieke Massink",

year = "2021",

language = "English",

isbn = "978-3-030-67219-5",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "v--vi",

editor = "Cleophas, {Loek } and Mieke Massink",

booktitle = "Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers",

address = "Germany",

note = "2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020 ; Conference date: 14-09-2020 Through 15-09-2020",

}

Cleophas, L & Massink, M 2021, Preface. in L Cleophas & M Massink (uitgave), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12524, Springer, blz. v-vi, 2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, Amsterdam, Nederland, 14/09/20. <https://link.springer.com/content/pdf/bfm%3A978-3-030-67220-1%2F1.pdf>

Preface. / Cleophas, Loek; Massink, Mieke.
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. uitgave / Loek Cleophas; Mieke Massink. Springer, 2021. blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12524).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

TY - CHAP

T1 - Preface

AU - Cleophas, Loek

AU - Massink, Mieke

PY - 2021

Y1 - 2021

UR - http://www.scopus.com/inward/record.url?scp=85101532491&partnerID=8YFLogxK

M3 - Foreword/editorial

AN - SCOPUS:85101532491

SN - 978-3-030-67219-5

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - v-vi

BT - Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

A2 - Cleophas, Loek

A2 - Massink, Mieke

PB - Springer

T2 - 2nd International Workshop on Automated and Verifiable Software System Development, ASYDE 2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2020 and 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2020 collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020

Y2 - 14 September 2020 through 15 September 2020

ER -

Cleophas L, Massink M. Preface. In Cleophas L, Massink M, redacteurs, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. Springer. 2021. blz. v-vi. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).