From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.

R. Weissnegger, M. Pistauer, C. Kreiner, M. Schuß, K. Römer, и C. Steger. PECCS, стр. 70-75. SciTePress, (2016)

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.

John Ralph

Ralph Schneid

Verfahrenstechnische Beeinflussungen des Maischens sowie dessen Auswirkungen auf den Brauprozess und die BierqualitätR. Schneid. TU Berlin, (2009)

Ralph Wirth

Best-Worst Choice-Based Conjoint-Analyse: eine neue Variante der wahlbasierten Conjoint-AnalyseR. Wirth. Uni Erlangen-Nürnberg, (2009)

Ralph Sierig

Ralph Nasarek

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

Security based design space exploration for CPS.L. Gressl, A. Rech, C. Steger, A. Sinnhofer, и R. Weissnegger. SAC, стр. 593-595. ACM, (2020)Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.R. Weissnegger, M. Pistauer, C. Kreiner, M. Schuß, K. Römer, и C. Steger. PECCS, стр. 70-75. SciTePress, (2016)SaVeSoC: safety aware virtual prototype generation and evaluation of a system on chip.R. Weissnegger, M. Pistauer, M. Schachner, C. Kreiner, K. Römer, и C. Steger. SpringSim (Mod4Sim), стр. 7:1-7:12. ACM, (2017)A Design Exploration Framework for Secure IoT-Systems.L. Gressl, A. Rech, C. Steger, A. Sinnhofer, и R. Weissnegger. CyberSA, стр. 1-8. IEEE, (2020)Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems.R. Weissnegger, M. Schuß, C. Kreiner, M. Pistauer, K. Römer, и C. Steger. SAFECOMP Workshops, том 9923 из Lecture Notes in Computer Science, стр. 359-370. Springer, (2016)SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic Systems.R. Weissnegger, C. Kreiner, M. Pistauer, K. Römer, и C. Steger. ANT/SEIT, том 109 из Procedia Computer Science, стр. 392-399. Elsevier, (2017)Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL.R. Weissnegger, M. Schuss, C. Kreiner, M. Pistauer, K. Römer, и C. Steger. ANT/SEIT, том 83 из Procedia Computer Science, стр. 245-252. Elsevier, (2016)A novel simulation-based verification pattern for parallel executions in the cloud.R. Weissnegger, M. Schuß, M. Schachner, K. Römer, C. Steger, и M. Pistauer. EuroPLoP, стр. 20. ACM, (2016)A novel method to speed-up the evaluation of cyber-physical systems (ISO 26262).R. Weissnegger, M. Pistauer, C. Kreiner, K. Römer, и C. Steger. WISES, стр. 109-114. IEEE, (2015)

BibSonomy

Disambiguation