CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Leistungen
Evaluation of the SafeCOP approach as shown by the demonstrators- Final evaluation
D2.4 Report on T2.3 and T2.4 and its relations to demonstrators, and recommendations for safety committeesReport on T2.3 and T2.4 and its relations to demonstrators, and recommendations for safety committees
D6.2 Dissemination, exploitation and certification report year 1Dissemination, exploitation and certification report year 1
D6.3 Dissemination, exploitation and certification report year 2Dissemination, exploitation and certification report year 2
D2.2 Report on T2.2 on safety assurance conceptual model and its relations to the demonstrators and recommendations for safety committeesReport on T2.2 on safety assurance conceptual model and its relations to the demonstrators and recommendations for safety committees
D1.1 Requirements and Evaluation Metrics BaselineRequirements and Evaluation Metrics Baseline
D3.1 State of the art. Report on Task 3.1 on communication protocolsState of the art. Report on Task 3.1 on communication protocols
D2.1 State of the art report (R, PU, M6)State of the art report (R, PU, M6)
D3.4 Report on T3.4 on distributed cooperation techniques for use case defined in WP3Report on T3.4 on distributed cooperation techniques for use case defined in WP3
D5.9 Evaluation of the SafeCOP approach as shown by the demonstrators - concept and methodologyEvaluation of the SafeCOP approach as shown by the demonstrators- concept and methodology
D3.3 Report on Task 3.3 on architecture of safety layer on top of communication protocols for the different use casesReport on Task 3.3 on architecture of safety layer on top of communication protocols for the different use cases
D3.2 Report on T3.2 on safe and secure communication protocols for the different use cases and demonstratorsReport on T3.2 on safe and secure communication protocols for the different use cases and demonstrators
D2.3 Report on mitigation of security threats that may jeopardize safetyReport on mitigation of security threats that may jeopardize safety
D6.4 Final dissemination, exploitation and certification reportFinal dissemination, exploitation and certification report
D4.1 Report on SafeCOP Platform architecture, methods and runtime mechanismsReport on SafeCOP Platform architecture, methods and runtime mechanisms
Prototype simulation tools
D4.2 Prototype runtime mechanismsPrototype runtime mechanisms
D5.1 Cooperative hospital bed mover demonstrated in lab settingCooperative hospital bed mover demonstrated in lab setting
D4.4 Prototype validation and verification toolsPrototype validation and verification tools
Project flyer (regular update every year)
D6.1 Project websiteProject website
Veröffentlichungen
Autoren:
Paul Pop, Detlef Scholle, Hans Hansson, Gunnar Widforss, Malin Rosqvist
Veröffentlicht in:
2016 Euromicro Conference on Digital System Design (DSD), 2016, Seite(n) 532-538, ISBN 978-1-5090-2817-7
Herausgeber:
IEEE
DOI:
10.1109/DSD.2016.25
Autoren:
Ali Balador, Nielas Ericsson, Zeinab Bakhshi
Veröffentlicht in:
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, Seite(n) 1-6, ISBN 978-1-5090-6505-9
Herausgeber:
IEEE
DOI:
10.1109/ETFA.2017.8247730
Autoren:
Ali Balador, Annette Bohm, Elisabeth Uhlemann, Carlos T. Calafate, Juan-Carlos Cano
Veröffentlicht in:
2015 IEEE 82nd Vehicular Technology Conference (VTC2015-Fall), 2015, Seite(n) 1-5, ISBN 978-1-4799-8091-8
Herausgeber:
IEEE
DOI:
10.1109/vtcfall.2015.7390813
Autoren:
Hung Tran, Hans-Jurgen Zepernick
Veröffentlicht in:
2016 IEEE Sixth International Conference on Communications and Electronics (ICCE), 2016, Seite(n) 457-461, ISBN 978-1-5090-1801-7
Herausgeber:
IEEE
DOI:
10.1109/CCE.2016.7562679
Autoren:
Pablo Gutierrez Peon, Elisabeth Uhlemann, Wilfried Steiner, Mats Bjorkman
Veröffentlicht in:
2017 IEEE 85th Vehicular Technology Conference (VTC Spring), 2017, Seite(n) 1-7, ISBN 978-1-5090-5932-4
Herausgeber:
IEEE
DOI:
10.1109/VTCSpring.2017.8108663
Autoren:
Omar Jaradat, Iain Bate
Veröffentlicht in:
4th International Workshop on Assurance Cases for Software-intensive Systems, Ausgabe 4, 2016, Seite(n) 17-29, ISBN 978-3-319-45480-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-45480-1_2
Autoren:
Nils Mullner, Saifullah Khan, Md Habibur Rahman, Wasif Afzal, Mehrdad Saadatmand
Veröffentlicht in:
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017, Seite(n) 61-64, ISBN 978-1-5090-6676-6
Herausgeber:
IEEE
DOI:
10.1109/ICSTW.2017.17
Autoren:
Ali Balador
Veröffentlicht in:
BMW Summer School 2016, 2016
Herausgeber:
BMW
Autoren:
Elena Lisova, Elisabeth Uhlemann, Johan Akerberg, Mats Bjorkman
Veröffentlicht in:
2017 IEEE International Conference on Industrial Technology (ICIT), 2017, Seite(n) 1136-1141, ISBN 978-1-5090-5320-9
Herausgeber:
IEEE
DOI:
10.1109/ICIT.2017.7915522
Autoren:
Truong Xuan Quach, Hung Tran, Elisabeth Uhlemann, Mai Tran Truc
Veröffentlicht in:
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, Seite(n) 1-8, ISBN 978-1-5090-6505-9
Herausgeber:
IEEE
DOI:
10.1109/ETFA.2017.8247604
Autoren:
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Veröffentlicht in:
4th International Workshop on Assurance Cases for Software-intensive Systems, Ausgabe 4, 2016, Seite(n) 43-54, ISBN 978-3-319-45480-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-45480-1_4
Autoren:
Samer Medawar, Detlef Scholle, Irfan Sljivo
Veröffentlicht in:
2017 6th Mediterranean Conference on Embedded Computing (MECO), 2017, Seite(n) 1-5, ISBN 978-1-5090-6742-8
Herausgeber:
IEEE
DOI:
10.1109/MECO.2017.7977210
Autoren:
Omar Tawffeeq Saleem Jaradat, Iain Bate
Veröffentlicht in:
2017 13th European Dependable Computing Conference (EDCC), 2017, Seite(n) 95-102, ISBN 978-1-5386-0602-5
Herausgeber:
IEEE
DOI:
10.1109/EDCC.2017.20
Autoren:
Elena Lisova, Elisabeth Uhlemann, Johan Akerberg, Mats Bjorkman
Veröffentlicht in:
2017 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC), 2017, Seite(n) 134-139, ISBN 978-1-5386-2113-4
Herausgeber:
IEEE
DOI:
10.1109/IINTEC.2017.8325927
Autoren:
Pablo Gutierrez Peon, Pedro Manuel Rodriguez, Zaloa Fernandez, Francisco Pozo, Elisabeth Uhlemann, Inaki Val, Wilfried Steiner
Veröffentlicht in:
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, Seite(n) 1-8, ISBN 978-1-5090-6505-9
Herausgeber:
IEEE
DOI:
10.1109/ETFA.2017.8247602
Autoren:
Hung Tran, Truong Xuan Quach, Ha-Vu Tran, Elisabeth Uhlemann
Veröffentlicht in:
2017 IEEE 28th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC), 2017, Seite(n) 1-8, ISBN 978-1-5386-3531-5
Herausgeber:
IEEE
DOI:
10.1109/PIMRC.2017.8292734
Autoren:
Aida Causevic
Veröffentlicht in:
2017 XXVI International Conference on Information, Communication and Automation Technologies (ICAT), 2017, Seite(n) 1-6, ISBN 978-1-5386-3337-3
Herausgeber:
IEEE
DOI:
10.1109/ICAT.2017.8171624
Autoren:
Elena Lisova, Aida Causevic, Elisabeth Uhlemann, Mats Bjorkman
Veröffentlicht in:
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, 2017, Seite(n) 8385-8390, ISBN 978-1-5386-1127-2
Herausgeber:
IEEE
DOI:
10.1109/IECON.2017.8217473
Autoren:
Svetlana Girs, Irfan Sljivo, Omar Jaradat
Veröffentlicht in:
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, 2017, Seite(n) 8391-8396, ISBN 978-1-5386-1127-2
Herausgeber:
IEEE
DOI:
10.1109/IECON.2017.8217474
Autoren:
Le-Nam Hoang, Elisabeth Uhlemann, Magnus Jonsson
Veröffentlicht in:
2017 IEEE 85th Vehicular Technology Conference (VTC Spring), 2017, Seite(n) 1-6, ISBN 978-1-5090-5932-4
Herausgeber:
IEEE
DOI:
10.1109/VTCSpring.2017.8108261
Autoren:
Le-Nam Hoang, Elisabeth Uhlemann, Magnus Jonsson
Veröffentlicht in:
2017 IEEE Globecom Workshops (GC Wkshps), 2017, Seite(n) 1-6, ISBN 978-1-5386-3920-7
Herausgeber:
IEEE
DOI:
10.1109/GLOCOMW.2017.8269134
Autoren:
Zeinab Bakhshi, Ali Balador, Jawad Mustafa
Veröffentlicht in:
2018 IEEE Wireless Communications and Networking Conference Workshops (WCNCW), 2018, Seite(n) 173-178, ISBN 978-1-5386-1154-8
Herausgeber:
IEEE
DOI:
10.1109/wcncw.2018.8368997
Autoren:
Giovanni Agosta, Alessandro Barenghi, Carlo Brandolese, William Fornaciari, Gerardo Pelosi, Stefano Delucchi, Massimo Massa, Maurizio Mongelli, Enrico Ferrari, Leonardo Napoletani, Luciano Bozzi, Carlo Tieri, Dajana Cassioli, Luigi Pomante
Veröffentlicht in:
2016 Euromicro Conference on Digital System Design (DSD), 2016, Seite(n) 621-627, ISBN 978-1-5090-2817-7
Herausgeber:
IEEE
DOI:
10.1109/DSD.2016.18
Autoren:
Elena Cinque, Francesco Valentini, Alessio Iovine, Marco Pratesi
Veröffentlicht in:
2017 15th International Conference on ITS Telecommunications (ITST), 2017, Seite(n) 1-6, ISBN 978-1-5090-5275-2
Herausgeber:
IEEE
DOI:
10.1109/ITST.2017.7972223
Autoren:
Harrison Kurunathan, Ricardo Severino, Anis Koubaa, Eduardo Tovar
Veröffentlicht in:
2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS), 2017, Seite(n) 1-9, ISBN 978-1-5090-5788-7
Herausgeber:
IEEE
DOI:
10.1109/WFCS.2017.7991967
Autoren:
Xiaoming Wang, Kai Li, Salil S. Kanhere, Demin Li, Xiaolu Zhang, Eduardo Tovar
Veröffentlicht in:
2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC), 2017, Seite(n) 402-408, ISBN 978-1-5090-4372-9
Herausgeber:
IEEE
DOI:
10.1109/IWCMC.2017.7986320
Autoren:
Cosmin Avasalcai, Dhanesh Budhrani, Paul Pop
Veröffentlicht in:
Proceedings of the 2017 International Conference on Compilers, Architectures and Synthesis for Embedded Systems Companion - CASES '17, 2017, Seite(n) 1-2, ISBN 9781-450351843
Herausgeber:
ACM Press
DOI:
10.1145/3125501.3125623
Autoren:
Luciano Bozzi, Lorenzo Di Giuseppe, Luigi Pomante, Marco Pugliese, Marco Santic, Fortunato Santucci, Walter Tiberti
Veröffentlicht in:
Proceedings of the Fifth Workshop on Cryptography and Security in Computing Systems - CS2 '18, 2018, Seite(n) 13-16, ISBN 9781-450363747
Herausgeber:
ACM Press
DOI:
10.1145/3178291.3178293
Autoren:
Kai Li, Wei Ni, Eduardo Tovar, Mohsen Guizani
Veröffentlicht in:
2018 IEEE International Conference on Communications (ICC), 2018, Seite(n) 1-6, ISBN 978-1-5386-3180-5
Herausgeber:
IEEE
DOI:
10.1109/icc.2018.8422933
Autoren:
Stephan Baumgart, Joakim Froberg, Sasikumar Punnekkat
Veröffentlicht in:
2017 Annual IEEE International Systems Conference (SysCon), 2017, Seite(n) 1-8, ISBN 978-1-5090-4623-2
Herausgeber:
IEEE
DOI:
10.1109/SYSCON.2017.7934783
Autoren:
Alessio Agneessens, Francesco Buemi, Stefano Delucchi, Massimo Massa, Giovanni Agosta, Alessandro Barenghi, Carlo Brandolese, William Fornaciari, Gerardo Pelosi, Enrico Ferrari, Dajana Cassioli, Luigi Pomante, Leonardo Napoletani, Luciano Bozzi, Carlo Tieri, Maurizio Mongelli
Veröffentlicht in:
2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), 2016, Seite(n) 320-327, ISBN 978-1-5090-3076-7
Herausgeber:
IEEE
DOI:
10.1109/SAMOS.2016.7818365
Autoren:
Alessandro Barenghi, Gerardo Pelosi
Veröffentlicht in:
Proceedings of the 55th Annual Design Automation Conference on - DAC '18, 2018, Seite(n) 1-6, ISBN 9781-450357005
Herausgeber:
ACM Press
DOI:
10.1145/3195970.3196112
Autoren:
Carlo Centofanti, Luigi Pomante, Marco Santic
Veröffentlicht in:
2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019, Seite(n) 1-5, ISBN 978-1-7281-1740-9
Herausgeber:
IEEE
DOI:
10.1109/meco.2019.8760282
Autoren:
Joshi Sanjay L, Bharat M. Deshpande, Sasikumar Punnekkat
Veröffentlicht in:
2017 International Conference on Networks & Advances in Computational Technologies (NetACT), 2017, Seite(n) 44-51, ISBN 978-1-5090-6590-5
Herausgeber:
IEEE
DOI:
10.1109/netact.2017.8076739
Autoren:
Alessandro Fermi, Maurizio Mongelli, Marco Muselli, Enrico Ferrari
Veröffentlicht in:
2018 14th IEEE International Workshop on Factory Communication Systems (WFCS), 2018, Seite(n) 1-4, ISBN 978-1-5386-1066-4
Herausgeber:
IEEE
DOI:
10.1109/wfcs.2018.8402372
Autoren:
Timo Sukuvaara, Kari Mäenpää, Daria Stepanova, Sakari Kantomaa and Virve Karsisto
Veröffentlicht in:
2018
Herausgeber:
25th ITS World Congress
Autoren:
Virve Karsisto, Pertti Nurmi, Timo Sukuvaara and Kari Mäenpää
Veröffentlicht in:
2017
Herausgeber:
12th ITS European Congress
Autoren:
Luciano Bozzi, Lorenzo Di Giuseppe, Luigi Pomante, Marco Pugliese, Marco Santic, Fortunato Santucci, Walter Tiberti,
Veröffentlicht in:
2018
Herausgeber:
Fifth Workshop on Cryptography and Security in Computing Systems (CS2)
Autoren:
Erik Martin Campana, Nils Mullner, Saad Mubeen
Veröffentlicht in:
2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC), 2018, Seite(n) 1-6, ISBN 978-1-5386-6477-3
Herausgeber:
IEEE
DOI:
10.1109/iconic.2018.8601239
Autoren:
Hojat Khosrowjerdi, Karl Meinke
Veröffentlicht in:
Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis - MASES 2018, 2018, Seite(n) 6-15, ISBN 9781-450359726
Herausgeber:
ACM Press
DOI:
10.1145/3243127.3243129
Autoren:
Tam Ninh Thi Thanh, Tran Hung, Nils Müllner
Veröffentlicht in:
2018
Herausgeber:
International Conference on Advanced Technologies for Communications (ATC)
Autoren:
Omar Jaradat, Abdallah Salameh
Veröffentlicht in:
2018
Herausgeber:
36th International System Safety Conference (ISSC 2018)
Autoren:
Omar Jaradat, Sasikumar Punnekkat
Veröffentlicht in:
2018
Herausgeber:
23rd International Conference on Reliable Software Technologies – Ada-Europe 2018 (Ada-Europe-2018)
Autoren:
Carl Bergenhem, Daniel Skarin, Fabian Ström
Veröffentlicht in:
2018
Herausgeber:
Safety-Critical Systems Club seminar on: COTS, Legacy and Reuse
Autoren:
Ali Balador, Annette Bohm, Carlos T. Calafate, Juan-Carlos Cano
Veröffentlicht in:
2016 IEEE 27th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC), 2016, Seite(n) 1-6, ISBN 978-1-5090-3254-9
Herausgeber:
IEEE
DOI:
10.1109/PIMRC.2016.7794823
Autoren:
Carl Bergenhem
Veröffentlicht in:
2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015, Seite(n) 1989-1994, ISBN 978-1-4673-6596-3
Herausgeber:
IEEE
DOI:
10.1109/itsc.2015.322
Autoren:
Paul Pop, Detlef Scholle, Irfan Šljivo, Hans Hansson, Gunnar Widforss, Malin Rosqvist
Veröffentlicht in:
Microprocessors and Microsystems, Ausgabe 53, 2017, Seite(n) 42-50, ISSN 0141-9331
Herausgeber:
Elsevier BV
DOI:
10.1016/j.micpro.2017.07.003
Autoren:
Svetlana Girs, Andreas Willig, Elisabeth Uhlemann, Mats Bjorkman
Veröffentlicht in:
IEEE Transactions on Industrial Informatics, Ausgabe 12/5, 2016, Seite(n) 1855-1864, ISSN 1551-3203
Herausgeber:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tii.2016.2535393
Autoren:
Saeid Aghaeinezhadfirouzja, Hui Liu, Ali Balador
Veröffentlicht in:
Sensors, Ausgabe 18/4, 2018, Seite(n) 1186, ISSN 1424-8220
Herausgeber:
Multidisciplinary Digital Publishing Institute (MDPI)
DOI:
10.3390/s18041186
Autoren:
Ali Balador, Elisabeth Uhlemann, Carlos Calafate, Juan-Carlos Cano
Veröffentlicht in:
Sensors, Ausgabe 18/4, 2018, Seite(n) 955, ISSN 1424-8220
Herausgeber:
Multidisciplinary Digital Publishing Institute (MDPI)
DOI:
10.3390/s18040955
Autoren:
Nguyen Thi Phuoc Van, Syed Faraz Hasan, Xiang Gui, Subhas Mukhopadhyay, Hung Tran
Veröffentlicht in:
IEEE Communications Letters, Ausgabe 21/4, 2017, Seite(n) 857-860, ISSN 1089-7798
Herausgeber:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/LCOMM.2016.2637891
Autoren:
Hung Tran, Johan Åkerberg, Mats Björkman, Ha-Vu Tran
Veröffentlicht in:
Wireless Networks, 2017, ISSN 1022-0038
Herausgeber:
Baltzer Science Publishers B.V.
DOI:
10.1007/s11276-017-1546-6
Autoren:
Saifullah Khan, Muhammad Alam, Martin Fränzle, Nils Müllner, Yuanfang Chen
Veröffentlicht in:
Computers & Electrical Engineering, Ausgabe 68, 2018, Seite(n) 447-462, ISSN 0045-7906
Herausgeber:
Pergamon Press Ltd.
DOI:
10.1016/j.compeleceng.2018.04.017
Autoren:
Harrison Kurunathan, Ricardo Severino, Anis Koubaa, Eduardo Tovar
Veröffentlicht in:
IEEE Communications Surveys & Tutorials, 2018, Seite(n) 1-1, ISSN 1553-877X
Herausgeber:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/COMST.2018.2800898
Autoren:
Amirhossein Moravejosharieh, Jaime Lloret
Veröffentlicht in:
International Journal of Communication Systems, Ausgabe 29/7, 2016, Seite(n) 1269-1292, ISSN 1074-5351
Herausgeber:
John Wiley & Sons Inc.
DOI:
10.1002/dac.3098
Autoren:
T. Sukuvaara, K. Mäenpää, R. Ylitalo
Veröffentlicht in:
Geoscientific Instrumentation, Methods and Data Systems Discussions, 2016, Seite(n) 1-23, ISSN 2193-0872
Herausgeber:
Copernicus Publications on behalf of the European Geosciences Union
DOI:
10.5194/gi-2015-23
Autoren:
Ali Balador, Anis Kouba, Dajana Cassioli, Fotis Foukalas, Ricardo Severino, Daria Stepanova, Giovanni Agosta, Jing Xie, Luigi Pomante, Maurizio Mongelli, Pierluigi Pierini, Stig Petersen, Timo Sukuvaara
Veröffentlicht in:
Sensors, Ausgabe 18/11, 2018, Seite(n) 4075, ISSN 1424-8220
Herausgeber:
Multidisciplinary Digital Publishing Institute (MDPI)
DOI:
10.3390/s18114075
Autoren:
Ali Balador, Carlos Calafate, Juan Carlos Cano, Pietro Manzoni
Veröffentlicht in:
International Journal of Ad Hoc and Ubiquitous Computing, Ausgabe 24/1/2, 2017, Seite(n) 65, ISSN 1743-8225
Herausgeber:
Inderscience Enterprises
DOI:
10.1504/ijahuc.2017.080913
Autoren:
Timo Sukuvaara, Kari Mäenpää, Riika Ylitalo
Veröffentlicht in:
Geoscientific Instrumentation, Methods and Data Systems, Ausgabe 5/2, 2016, Seite(n) 513-520, ISSN 2193-0864
Herausgeber:
Copernicus Publications
DOI:
10.5194/gi-5-513-2016
Autoren:
Hung Tran, Georges Kaddoum, François Gagnon, Louis Sibomana
Veröffentlicht in:
Physical Communication, Ausgabe 22, 2017, Seite(n) 32-41, ISSN 1874-4907
Herausgeber:
Elsevier BV
DOI:
10.1016/j.phycom.2016.12.001
Autoren:
Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke
Veröffentlicht in:
Dagstuhl Reports, Ausgabe 4, 2016, Seite(n) 161-173, ISSN 2192-5283
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/dagrep.6.4.161
Autoren:
Harrison Kurunathan, Ricardo Severino, Anis Koubaa, Eduardo Tovar
Veröffentlicht in:
IEEE Access, Ausgabe 7, 2019, Seite(n) 122522-122535, ISSN 2169-3536
Herausgeber:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/ACCESS.2019.2937952
Autoren:
Leonardo Napoletani
Veröffentlicht in:
5th Scandinavian Conference on SYSTEM & SOFTWARE SAFETY, 2017
Herausgeber:
ICES
Autoren:
Rolf Johansson, Jonas Nilsson, Carl Bergenhem, Sagar Behere, Jörgen Tryggvesson, Stig Ursing, Andreas Söderberg, Martin Törngren, Fredrik Warg
Veröffentlicht in:
Automated Driving - Automated Driving Safer and More Efficient Future Driving, Ausgabe Book, 2017, Seite(n) 547-560
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-31895-0_25
Autoren:
Karl Meinke
Veröffentlicht in:
2017, Seite(n) 135-151
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66583-2_9
Autoren:
DeJiu Chen, Zhonghai Lu
Veröffentlicht in:
2017, Seite(n) 227-240
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-64119-5_15
Autoren:
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Veröffentlicht in:
Reliable Software Technologies – Ada-Europe 2018, Ausgabe 10873, 2018, Seite(n) 19-33, ISBN 978-3-319-92431-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-92432-8_2
Autoren:
Falk Howar, Karl Meinke, Andreas Rausch
Veröffentlicht in:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Ausgabe 9953, 2016, Seite(n) 651-654, ISBN 978-3-319-47168-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-47169-3_50
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor