( en | de | ru )

 

Disambiguierung von "Luckeneder, Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment.

, , , , , und . ICST Workshops, Seite 390-391. IEEE Computer Society, (2018)

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.

Christoph Müller

Der Einfluss von cis-Hydroxy-L-Prolin (CHP) auf die Pankreaskarzinom-Zelllinie DSL6A der Ratte. Uni Rostock, (2009)

Christoph Eggert

Synthese von Modellpolymeren für molekular verstärkte Ionomerblends und Werkstoffeigenschaften. Uni Stuttgart, (2009)

Christoph Thiermann

Grenzüberschreitende Verschmelzungen deutscher Gesellschaften: das Spannungsfeld zwischen Gesellschaftsrecht und Niederlassungsfreiheit des AEUV nach Cartesio. Uni Frankfurt Main, (2010)

Christoph Eibl

Bispidin-Derivate als neue nicotinische Acetylcholinrezeptor-Liganden: Synthese, In-vitro-Pharmakologie und Struktur-Wirkungsbeziehungen. Uni Bonn, (2009)

Christoph Lettowsky

Herstellung zweischichtiger Kunststoff-Hohlkörper durch Gas- und Wasserinjektionstechnik: = Production of two-layer hollow plastics articles by gas and water injection technique. TU Aachen, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification., und . SAC, Seite 1828-1836. ACM, (2019)Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination., , und . APSEC, Seite 233-240. IEEE Computer Society, (2016)Towards Using Structural Abstraction for Model Checking., , und . DSA, Seite 105-113. IEEE, (2023)Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability., , , , , , und . RO-MAN, Seite 1283-1288. IEEE, (2021)Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models., , , und . ENASE (Selected Papers), Volume 1023 von Communications in Computer and Information Science, Seite 261-287. Springer, (2018)Automated Unit Testing in Model-based Embedded Software Development., , und . ICSOFT, Seite 427-434. SciTePress, (2017)Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment., , , , , und . ICST Workshops, Seite 390-391. IEEE Computer Society, (2018)Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems., , , und . HICSS, Seite 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2018)Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation., , und . HICSS, Seite 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)Systematic top-down design of cyber-physical models with integrated validation and formal verification., und . ICSE (Companion Volume), Seite 274-275. ACM, (2018)