![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/sefm/sefm2020w.bht:"
@proceedings{DBLP:conf/sefm/2020w, editor = {Loek Cleophas and Mieke Massink}, title = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-67220-1}, doi = {10.1007/978-3-030-67220-1}, isbn = {978-3-030-67219-5}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/2020w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/AldiniGT20, author = {Alessandro Aldini and Pierluigi Graziani and Mirko Tagliaferri}, editor = {Loek Cleophas and Mieke Massink}, title = {Reasoning About Ignorance and Beliefs}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {214--230}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_17}, doi = {10.1007/978-3-030-67220-1\_17}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/AldiniGT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Alexander20, author = {Samuel Allen Alexander}, editor = {Loek Cleophas and Mieke Massink}, title = {Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {201--213}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_16}, doi = {10.1007/978-3-030-67220-1\_16}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Alexander20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BenabdelhafidBB20, author = {Maya Souilah Benabdelhafid and Houda Boubaker and Mahmoud Boufa{\"{\i}}da}, editor = {Loek Cleophas and Mieke Massink}, title = {Modeling and Verification of Temporal Constraints for Web Service Composition}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {21--29}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_2}, doi = {10.1007/978-3-030-67220-1\_2}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BenabdelhafidBB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BernardeschiDPS20, author = {Cinzia Bernardeschi and Andrea Domenici and Maurizio Palmieri and Sergio Saponara and Tanguy Sassolas and Arief Wicaksana and Lilia Zaourar}, editor = {Loek Cleophas and Mieke Massink}, title = {Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {263--279}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_20}, doi = {10.1007/978-3-030-67220-1\_20}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BernardeschiDPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BraunerGG20, author = {Torben Bra{\"{u}}ner and Aishwarya Ghosh and Sujata Ghosh}, editor = {Loek Cleophas and Mieke Massink}, title = {Understanding Responses of Individuals with {ASD} in Syllogistic and Decision-Making Tasks: {A} Formal Study}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {118--128}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_10}, doi = {10.1007/978-3-030-67220-1\_10}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BraunerGG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/CeroneM20, author = {Antonio Cerone and Diana Murzagaliyeva}, editor = {Loek Cleophas and Mieke Massink}, title = {Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {159--175}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_13}, doi = {10.1007/978-3-030-67220-1\_13}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/CeroneM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/CignaraleP20, author = {Giorgio Cignarale and Giuseppe Primiero}, editor = {Loek Cleophas and Mieke Massink}, title = {A Multi-Agent Depth Bounded Boolean Logic}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {176--191}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_14}, doi = {10.1007/978-3-030-67220-1\_14}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/CignaraleP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/CoentSC20, author = {Adrien Le Co{\"{e}}nt and Julien Alexandre Dit Sandretto and Alexandre Chapoutot}, editor = {Loek Cleophas and Mieke Massink}, title = {Cosimulation-Based Control Synthesis}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {318--333}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_24}, doi = {10.1007/978-3-030-67220-1\_24}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/CoentSC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/EscardoPGP20, author = {Tomas Hotzel Escardo and Ken G. Pierce and David Golightly and Roberto Palacin}, editor = {Loek Cleophas and Mieke Massink}, title = {Modelling Train Driver Behaviour in Railway Co-simulations}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {249--262}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_19}, doi = {10.1007/978-3-030-67220-1\_19}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/EscardoPGP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Giovagnoli20, author = {Raffaela Giovagnoli}, editor = {Loek Cleophas and Mieke Massink}, title = {A Pragmatic Model of Justification for Social Epistemology}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {89--99}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_7}, doi = {10.1007/978-3-030-67220-1\_7}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Giovagnoli20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/HansenTG20, author = {Simon Thrane Hansen and Casper Thule and Cl{\'{a}}udio Gomes}, editor = {Loek Cleophas and Mieke Massink}, title = {An FMI-Based Initialization Plugin for {INTO-CPS} Maestro 2}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {295--310}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_22}, doi = {10.1007/978-3-030-67220-1\_22}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/HansenTG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Kahle20, author = {Reinhard Kahle}, editor = {Loek Cleophas and Mieke Massink}, title = {The Intensional Structure of Epistemic Convictions}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {192--200}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_15}, doi = {10.1007/978-3-030-67220-1\_15}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/Kahle20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LiboniD20, author = {Giovanni Liboni and Julien Deantoni}, editor = {Loek Cleophas and Mieke Massink}, title = {A Semantic-Aware, Accurate and Efficient {API} for (Co-)Simulation of {CPS}}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {280--294}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_21}, doi = {10.1007/978-3-030-67220-1\_21}, timestamp = {Mon, 28 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/LiboniD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LounisO20, author = {Karim Lounis and Samir Ouchani}, editor = {Loek Cleophas and Mieke Massink}, title = {Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {30--42}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_3}, doi = {10.1007/978-3-030-67220-1\_3}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/LounisO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Maruyama20, author = {Yoshihiro Maruyama}, editor = {Loek Cleophas and Mieke Massink}, title = {Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {129--146}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_11}, doi = {10.1007/978-3-030-67220-1\_11}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Maruyama20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/PierroBTD20, author = {Giuseppe Antonio Pierro and Alexandre Bergel and Roberto Tonelli and St{\'{e}}phane Ducasse}, editor = {Loek Cleophas and Mieke Massink}, title = {An Interdisciplinary Model for Graphical Representation}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {147--158}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_12}, doi = {10.1007/978-3-030-67220-1\_12}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/PierroBTD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Razeev20, author = {Danil Razeev}, editor = {Loek Cleophas and Mieke Massink}, title = {Personal Identity and False Memories}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {100--107}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_8}, doi = {10.1007/978-3-030-67220-1\_8}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Razeev20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Reimer20, author = {Robert Reimer}, editor = {Loek Cleophas and Mieke Massink}, title = {Against the Illusory Will Hypothesis - {A} Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's {I} Spy Experiment}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {108--117}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_9}, doi = {10.1007/978-3-030-67220-1\_9}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Reimer20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SahuSMW20, author = {Sneha Sahu and Ruth Schorr and Inmaculada Medina{-}Bulo and Matthias F. Wagner}, editor = {Loek Cleophas and Mieke Massink}, title = {Model Translation from Papyrus-RT into the nuXmv Model Checker}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {3--20}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_1}, doi = {10.1007/978-3-030-67220-1\_1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/SahuSMW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SirjaniPAM20, author = {Marjan Sirjani and Luciana Provenzano and Sara Abbaspour Asadollah and Mahshid Helali Moghadam}, editor = {Loek Cleophas and Mieke Massink}, title = {From Requirements to Verifiable Executable Models Using Rebeca}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {67--86}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_6}, doi = {10.1007/978-3-030-67220-1\_6}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/SirjaniPAM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SoethoutSV20, author = {Tim Soethout and Tijs van der Storm and Jurgen J. Vinju}, editor = {Loek Cleophas and Mieke Massink}, title = {Automated Validation of State-Based Client-Centric Isolation with TLA\({}^{\mbox{+}}\)}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {43--57}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_4}, doi = {10.1007/978-3-030-67220-1\_4}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/SoethoutSV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SykoraAB20, author = {Krystof Sykora and Bestoun S. Ahmed and Miroslav Bures}, editor = {Loek Cleophas and Mieke Massink}, title = {Code Coverage Aware Test Generation Using Constraint Solver}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {58--66}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_5}, doi = {10.1007/978-3-030-67220-1\_5}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/SykoraAB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/TalasilaSVTLM20, author = {Prasad Talasila and Armine Sanjari and Kristoffer Villadsen and Casper Thule and Peter Gorm Larsen and Hugo Daniel Macedo}, editor = {Loek Cleophas and Mieke Massink}, title = {Introducing Regression Tests and Upgrades to the {INTO-CPS} Application}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {311--317}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_23}, doi = {10.1007/978-3-030-67220-1\_23}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/TalasilaSVTLM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/TorresGF20, author = {M{\'{a}}rio Henrique Cruz Torres and Jean Pierre Giacalone and Joelle Abou Faysal}, editor = {Loek Cleophas and Mieke Massink}, title = {A Case Study on Formally Validating Motion Rules for Autonomous Cars}, booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12524}, pages = {233--248}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-67220-1\_18}, doi = {10.1007/978-3-030-67220-1\_18}, timestamp = {Mon, 25 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/TorresGF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.