Two cognitive systems, two implications, and selection tasks
vastutusandmed
Angelina Bobrova and Ahti-Veikko Pietarinen
allikas
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 195 - 205
seeria-sari
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 12226
konverentsi nimetus, aeg
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
konverentsi toimumispaik
Oslo
märksõna
kvartiil
kategooria (üld)
kategooria (alam)
võtmesõna
ISSN
0302-9743
ISBN
978-303057505-2
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
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 Science and Business Media Deutschland GmbH, 2020. p. 195 - 205. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 12226).