Liste als BibTeX-Datei exportieren

2018

• 2018 Compact and efficiently verifiable models for concurrent systems Hernán Ponce de León und Andrey Mokhov Formal Methods in System Design, 53():407–431, 2018. Details DOI BIB
• 2018 Comprehensive View on Architectural Requirements for Maintenance Information Systems Andreas Reidt, Helmut Krcmar und Stefan Schuhbäck Band , Seiten 249-257, , Ausgabe, 2018. , . Details BIB
• 2018 Connecting PLCs with their Asset Administration Shell for Automatic Device Configuration Monika Wenger, Thorsten Müller und Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), Details BIB
• 2018 Deep Reinforcement Learning for Predictive Longitudinal Control of Automated Vehicles Martin Buechel und Alois Knoll In Proceedings of the 21st International Conference on Intelligent Transportation Systems (ITSC), Seiten 2391-2397, IEEE. Details URL DOI BIB
• 2018 Developing self-similar hybrid control architecture based on sgam-based methodology for distributed microgrids Pragya Kirti Gupta und Markus Duchon In Details BIB
• 2018 Early Take-Over Preparation in Stereoscopic 3D Gesa Wiegand, Christian Mai, Yuanting Liu und Heinrich Hußmann In Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Seiten 142–146, ACM. Details URL DOI BIB
• 2018 Effect-dependent transformations for concurrent programs Nick Benton, Martin Hofmann und Vivek Nigam Sci. Comput. Program., 155():27–51, 2018. Details URL DOI BIB
• 2018 Enable Co-Simulation for Industrial Automation by an FMU Exporter for IEC 61499 Models Jose Cabral, Monika Wenger und Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), Details BIB
• 2018 Evidential and Continuous Integration of Software Verification Tools Tewodros Beyene und Harald Rueß In Formal Methods, Seiten 679-685, Cham, Springer International Publishing. Details BIB
• 2018 Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee und David Aspinall In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018) - Poznan, Poland, Details BIB