001434262 000__ 06207cam\a2200865\i\4500
001434262 001__ 1434262
001434262 003__ OCoLC
001434262 005__ 20230309003719.0
001434262 006__ m\\\\\o\\d\\\\\\\\
001434262 007__ cr\nn\nnnunnun
001434262 008__ 210116s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001434262 019__ $$a1232031281$$a1232279617$$a1241065860
001434262 020__ $$a9783030672201$$q(electronic book)
001434262 020__ $$a3030672204$$q(electronic book)
001434262 020__ $$z9783030672195
001434262 020__ $$z3030672190
001434262 0247_ $$a10.1007/978-3-030-67220-1$$2doi
001434262 035__ $$aSP(OCoLC)1238206024
001434262 040__ $$aDCT$$beng$$erda$$epn$$cDCT$$dOCLCO$$dSFB$$dGW5XE$$dEBLCP$$dYDX$$dDKU$$dOCLCF$$dOCLCO$$dOCL$$dOCLCO$$dNOC$$dOCLCO$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCO$$dOCLCQ
001434262 049__ $$aISEA
001434262 050_4 $$aQA76.758
001434262 08204 $$a005.1$$223
001434262 1112_ $$aInternational Conference on Software Engineering and Formal Methods$$n(18th :$$d2020 :$$cOnline)
001434262 24510 $$aSoftware engineering and formal methods :$$bSEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers /$$cLoek Cleophas, Mieke Massink (eds.).
001434262 2463_ $$aSEFM 2020 collocated workshops
001434262 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2021]
001434262 300__ $$a1 online resource (ix, 335 pages) :$$billustrations (some color)
001434262 336__ $$atext$$btxt$$2rdacontent
001434262 337__ $$acomputer$$bc$$2rdamedia
001434262 338__ $$aonline resource$$bcr$$2rdacarrier
001434262 347__ $$atext file
001434262 347__ $$bPDF
001434262 4901_ $$aLecture Notes in Computer Science ;$$v12524
001434262 4901_ $$aLNCS sublibrary: SL 2 Programming and software engineering
001434262 500__ $$aIncludes author index.
001434262 5050_ $$aModel Translation from Papyrus-RT into the nuXmv Model Checker -- Modeling and Verification of Temporal Constraints for Web Service Composition -- Modeling Attack-Defense Trees' Countermeasures using Continuous Time Markov Chains -- Automated Validation of State-Based Client-Centric Isolation with TLA+ -- Code Coverage Aware Test Generation Using Constraint Solver -- From Requirements to Verifiable Executable Models using Rebeca -- A Pragmatic Model of Justification for Social Epistemology -- Personal Identity and False Memories -- Against the Illusory Will Hypothesis. A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment -- Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study -- Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence -- An Interdisciplinary Model for Graphical Representation -- Information Retrieval from Semantic Memory: BRDL-based Knowledge Representation and Maude-based Computer Emulation -- A Multi-Agent Depth Bounded Boolean Logic -- The intensional structure of epistemic convictions -- Short-circuiting the definition of mathematical knowledge for an Artificial General Intelligence -- Reasoning about Ignorance and Beliefs -- A Case Study on Formally Validating Motion Rules for Autonomous Cars -- Modelling Train Driver Behaviour in Railway Co-simulations -- Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor -- A Semantic-Aware, accurate and efficient API for (co- )simulation of CPS -- An FMI-Based initialization plugin for INTO-CPS Maestro 2 -- Introducing Regression Tests and Upgrades to the INTO-CPS Application -- Cosimulation-based Control Synthesis.
001434262 506__ $$aAccess limited to authorized users.
001434262 520__ $$aThis 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.
001434262 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed March 3, 2021).
001434262 650_0 $$aSoftware engineering$$vCongresses.
001434262 650_0 $$aFormal methods (Computer science)$$vCongresses.
001434262 650_0 $$aComputer logic.
001434262 650_0 $$aAutomatic control.
001434262 650_0 $$aRobotics.
001434262 650_0 $$aMechatronics.
001434262 650_0 $$aSoftware engineering.
001434262 650_0 $$aArtificial intelligence.
001434262 650_0 $$aApplication software.
001434262 650_6 $$aGénie logiciel$$vCongrès.
001434262 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001434262 650_6 $$aLogique informatique.
001434262 650_6 $$aCommande automatique.
001434262 650_6 $$aRobotique.
001434262 650_6 $$aMécatronique.
001434262 650_6 $$aGénie logiciel.
001434262 650_6 $$aIntelligence artificielle.
001434262 650_6 $$aLogiciels d'application.
001434262 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001434262 655_7 $$aConference papers and proceedings.$$2lcgft
001434262 655_7 $$aActes de congrès.$$2rvmgf
001434262 655_0 $$aElectronic books.
001434262 7001_ $$aCleophas, Loek,$$eeditor$$1https://orcid.org/0000-0002-7221-3676
001434262 7001_ $$aMassink, Mieke,$$eeditor$$1https://orcid.org/0000-0001-5089-002X
001434262 7112_ $$aASYDE (Workshop)$$n(2nd :$$d2020 :$$cOnline),$$jjointly held conference.
001434262 7112_ $$aCIFMA (Workshop)$$n(2nd :$$d2020 :$$cOnline),$$jjointly held conference.
001434262 7112_ $$aCoSim-CPS (Workshop)$$n(4th :$$d2020 :$$cOnline),$$jjointly held conference.
001434262 77608 $$iPrint version:$$z9783030672195
001434262 830_0 $$aLecture notes in computer science ;$$v12524.
001434262 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001434262 852__ $$bebk
001434262 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-67220-1$$zOnline Access$$91397441.1
001434262 909CO $$ooai:library.usi.edu:1434262$$pGLOBAL_SET
001434262 980__ $$aBIB
001434262 980__ $$aEBOOK
001434262 982__ $$aEbook
001434262 983__ $$aOnline
001434262 994__ $$a92$$bISE