Software engineering and formal methods : SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers / Javier Camara, Martin Steffan (eds.).
he volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected...
Full description
Saved in:
Bibliographic Details
Corporate Authors: |
International Conference on Software Engineering and Formal Methods Oslo, Norway,
CoSim-CPS (Workshop),
ASYDE (Workshop),
CIFMA (Workshop),
International Workshop on the Foundations of Coordination Languages and Software Architectures |
Other Authors: |
Cámara, Javier (Computer scientist)
(Editor),
Steffen, Martin
(Editor) |
Format: | eBook
|
Language: | English |
Published: |
Cham, Switzerland :
Springer,
[2020]
|
Series: | Lecture notes in computer science ;
12226.
LNCS sublibrary. Programming and software engineering.
|
Subjects: | |
Online Access: | Click for online access
|