PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Janschek, K."

Author of the publication

copydeleteadd this publication to your clipboard
Utilizing Model-based Timing Analysis for Holistic Dependability Assessment of Unmanned Aerial Vehicle

, , , , and . (2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

K. Stahl

K. Gaiser

K. Lindow

Grzegorz K. Karch

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)
 

Other publications of authors with the same name

Utilizing Model-based Timing Analysis for Holistic Dependability Assessment of Unmanned Aerial Vehicle, , , , and . (2020)Model-Based Dependability Assessment of Phased-Mission Unmanned Aerial Vehicles, , , and . (2020)The efficiency comparison of the prism and storm probabilistic model checkers for error propagation analysis tasks, , , , and . Industry 4.0, 3(5), pp.229-231., (2018)Iterative Variable Reordering: Taming Huge System Families, , , and . Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), pp. 121-133, (2020)Analytical toolset for model-based stochastic error propagation analysis: extension and optimization towards industrial requirements, , , , and . Системная инженерия и информационные технологии, 1(1), pp.41-46, (2019)Model-based Analysis of Timing Errors for Reliable UAV Design, , , and . (2020)Model-based Fault Injection Experiments for the Safety Analysis of Exoskeleton System, and . (2020)On-line error detection and mitigation for time-series data of cyber-physical systems using deep learning based methods, , , , and . (2019)Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis, , , and . (2020)