( en | de | ru )

 

Disambiguierung von "Yu, Huafeng"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems.

, , , , und . ACVI@MoDELS, Volume 1233 von CEUR Workshop Proceedings, CEUR-WS.org, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yu-Ting Yu

Yu-Yu Su

Sze-Man Yu

Metal complexes with enolatoimine ligands for controlled olefin polymerizations. Uni Konstanz, (2009)

Hangxing Yu

Na Yu

 

Weitere Publikationen von Autoren mit dem selben Namen

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception., , , , , , , , und . EMSOFT, Seite 17-20. IEEE, (2022)Case Study: Analysis of Autonomous Center Line Tracking Neural Networks., , , und . VSTTE, Volume 13124 von Lecture Notes in Computer Science, Seite 104-121. Springer, (2021)Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited., , , und . DAC, Seite 84:1-84:6. ACM, (2017)Some New Constructions of Authentication Codes with Arbitration and Multi-Receiver from Singular Symplectic Geometry., und . J. Appl. Math., (2011)Assumption Generation for the Verification of Learning-Enabled Autonomous Systems., , , und . CoRR, (2023)Mapping functional behavior onto architectural model in a model driven embedded system design., , , und . SAC, Seite 1624-1630. ACM, (2015)Polychronous controller synthesis from MARTE CCSL timing specifications., , , , , und . MEMOCODE, Seite 21-30. IEEE, (2011)Polychronous Analysis of Timing Constraints in UML MARTE., , , , , , und . ISORC Workshops, Seite 145-151. IEEE Computer Society, (2010)The challenge of interoperability: model-based integration for automotive control software., , , , und . DAC, Seite 58:1-58:6. ACM, (2015)Compositional Verification for Autonomous Systems with Deep Learning Components., , und . CoRR, (2018)