Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sefm/sefm2020w.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-09-07 19:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
