Two cognitive systems, two implications, and selection tasks
statement of authorship
Angelina Bobrova and Ahti-Veikko Pietarinen
source
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
location of publication
Berlin
publisher
year of publication
pages
p. 195 - 205
series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 12226
conference name, date
3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2019, International Workshop on Automated and verifiable Software System Development, ASYDE 2019, International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2019 and 17th International Workshop on Foundations of Coordination Languages and Self-Adaptiveness of Software Applications, FOCLASA 2019, co-located with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, 16-20 September 2019
conference location
Oslo
ISSN
0302-9743
ISBN
978-303057505-2
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
kvartiil
classifier
category (general)
Bobrova, A., Pietarinen, A.-V. Two cognitive systems, two implications, and selection tasks // Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers. Berlin : Springer, 2020. p. 195 - 205. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 12226).