TY  - BOOK
AU  - Cámara,Javier
AU  - Steffen,Martin
ED  - International Conference on Software Engineering and Formal Methods
ED  - CoSim-CPS (Workshop)
ED  - ASYDE (Workshop)
ED  - CIFMA (Workshop)
ED  - International Workshop on the Foundations of Coordination Languages and Software Architectures
TI  - Software engineering and formal methods: SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers 
T2  - Lecture Notes in Computer Science
SN  - 9783030575069
AV  - QA76.758 .S64 2020
U1  - 005.1 23
PY  - 2020///]
CY  - Cham, Switzerland
PB  - Springer
KW  - Software engineering
KW  - Congresses
KW  - Formal methods (Computer science)
KW  - Génie logiciel
KW  - Congrès
KW  - Méthodes formelles (Informatique)
KW  - Artificial intelligence
KW  - bicssc
KW  - Natural language & machine translation
KW  - Algorithms & data structures
KW  - Systems analysis & design
KW  - Information retrieval
KW  - Computer science
KW  - Computers
KW  - Intelligence (AI) & Semantics
KW  - bisacsh
KW  - Speech & Audio Processing
KW  - Hardware
KW  - General
KW  - Information Technology
KW  - Computer Science
KW  - fast
KW  - Application software
KW  - Computer architecture
KW  - Computer logic
KW  - Microprogramming
KW  - Natural language processing (Computer science)
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes author index; Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods
N2  - 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 from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
UR  - https://link.springer.com/10.1007/978-3-030-57506-9
ER  -