( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment.

, , , , , и . ICST Workshops, стр. 390-391. IEEE Computer Society, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

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)
 

Другие публикации лиц с тем же именем

Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination., , и . APSEC, стр. 233-240. IEEE Computer Society, (2016)Towards Using Structural Abstraction for Model Checking., , и . DSA, стр. 105-113. IEEE, (2023)A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification., и . SAC, стр. 1828-1836. ACM, (2019)Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models., , , и . ENASE (Selected Papers), том 1023 из Communications in Computer and Information Science, стр. 261-287. Springer, (2018)Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications., , , и . IEEE Trans. Software Eng., 48 (10): 4041-4059 (2022)Automated Unit Testing in Model-based Embedded Software Development., , и . ICSOFT, стр. 427-434. SciTePress, (2017)Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability., , , , , , и . RO-MAN, стр. 1283-1288. IEEE, (2021)Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment., , , , , и . ICST Workshops, стр. 390-391. IEEE Computer Society, (2018)Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems., , , и . HICSS, стр. 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2018)Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation., , и . HICSS, стр. 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)