Liste als BibTeX-Datei exportieren

2020

• September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe und Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, Springer, Cham. Details DOI BIB
• September 2020 Information-centric Routing for Opportunistic Wireless Networks - draft-mendes-icnrg-dabber-05 Paulo M. Mendes, Rute C. Sofia, Vassilis Tsaoussidis und Carlos Borrego IETF Network Working Group draft, experimental, ():, September 2020. Details URL BIB
• September 2020 Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) Yuri Gil Dantas, Antoaneta Kondeva und Vivek Nigam In 36th International Conference on Logic Programming (ICLP), Rende, Italy, Details BIB
• September 2020 Service Quality Through Government Proactivity: The Concept of Non-interaction Peter Kuhn und Dian Balta Band von Lecture Notes in Computer Science, Seiten 82-95, , Ausgabe, September 2020. , Gabriela Viale Pereira, Marijn Janssen, Habin Lee, Ida Lindgren, Manuel Pedro Rodríguez Bolívar, Hans Jochen Scholl, Anneke Zuiderwijk. Details URL DOI BIB
• September 2020 The Joy of Collaborating with Highly Automated Vehicles Gesa Wiegand, Kai Holländer, Katharina Rupp und Heinrich Hußmann AutomotiveUI '20: 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, ():223–232, September 2020. Details DOI BIB
• September 2020 Toward a Knowledge-Based Data Backbone for Seamless Digital Engineering in Smart Factories Alexander Perzylo, Ingmar Kessler, Stefan Profanter und Markus Rickert In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Seiten 164–171, Vienna, Austria, Details URL DOI BIB
• September 2020 Towards Automating Safety and Security Co-Analysis with Patterns Yuri Gil Dantas, Antoaneta Kondeva und Vivek Nigam In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, Details BIB
• August 2020 Partner Programs and Complementor Assessment in Platform Ecosystems: A Multiple-Case Study Martin Engert, Andreas Hein und Helmut Krcmar In Twenty-Sixth Americas Conference on Information Systems: AMCIS 2020. A Virtual Conference, Details URL BIB
• August 2020 Requirements and Design Principles for Business Model Tools Norman Schaffer, Olivia Stähler und Jörg Weking In Americas Conference on Information Systems (AMCIS 2020), Details PDF BIB
• August 2020 Requirements-based Code Model Checking Ulrich Schöpp, Andreas Schweiger, Marina Reich, Tatiana Chuprina, Levi Lúcio und Hartmut Brüning In IEEE Workshop on Formal Requirements (FORMREQ2020), Seiten 21–27, IEEE. Details DOI BIB