Liste als BibTeX-Datei exportieren

2017

• 2017 A rewriting framework and logic for activities subject to regulations Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Ranko Perovic und Carolyn Talcott Mathematical Structures in Computer Science, 27(3):332–375, 2017. Details URL DOI BIB
• 2017 Analysis of design strategies for unmanned aerial vehicles using co-simulation Jose de Sousa Barros, Thyago Oliveira, Vivek Nigam und Alisson Brito Design Autom. for Emb. Sys., 21(3-4):157–172, 2017. Details URL DOI BIB
• 2017 Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern Mario Gleirscher und Carmen Cârlan In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), Seiten 53–60, IEEE. Details DOI BIB
• 2017 Arguing on Software-Level Verification Techniques Appropriateness Carmen Cârlan, Barbara Gallina, Severin Kacianka und Ruth Breu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 10488 von LNCS, Seiten 39–54, Cham, Springer International Publishing. Details DOI BIB
• 2017 autoCode4: Structural Controller Synthesis Chih-Hong Cheng, Edward A. Lee und Harald Rueß In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, Seiten 398–404, Details DOI BIB
• 2017 Erstellung einer Referenzarchitektur anhand von individuellen Unternehmensanforderungen Andreas Reidt, Markus Duchon und Helmut Krcmar , ():23-42, 2017. Details BIB
• 2017 Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems Ben Schneider, Alois Zoitl, Monika Wenger und Jan Olaf Blech In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details URL PDF BIB
• 2017 Increasing Control Application Reusability through Generic Device Configuration Model Waldemar Eisenmenger, Johannes Meßmer, Monika Wenger und Alois Zoitl In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details BIB
• 2017 Living Safety Arguments for Open Systems Carmen Cârlan In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE. Details DOI BIB
• 2017 Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng, Georg Nührenberg und Harald Rueß In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, Details BIB