Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
Häftad, Engelska, 2021
719 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops:ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems.Due to the Corona pandemic this event was held virtually.
Produktinformation
- Utgivningsdatum2021-01-17
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieProgramming and Software Engineering
- Antal sidor335
- FörlagSpringer Nature Switzerland AG
- ISBN9783030672195
Hoppa över listan
Du kanske också är intresserad av
Model Management and Analytics for Large Scale Systems
Bedir Tekinerdogan, �nder Babur, Loek Cleophas, Mark van den Brand, Mehmet Aksit, Önder Babur, The Netherlands) Tekinerdogan, Bedir (Wageningen University, Wageningen, The Netherlands) Babur, Onder (Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands) Cleophas, Loek (Assistant Professor, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands) van den Brand, Mark (Full Professor, Department of Mathematics and Computer Science, Eindhoven University of Technology, Turkey) Aksit, Mehmet (Full Professor, Department of Engineering, TOBB University of Economics and Technology, Ankora
1 859 kr
- Nyhet
Del 6
- Nyhet
- Nyhet
Del 34
- Nyhet
Del 3
- Nyhet