"HeiCuDrain" : eine randomisierte-kontrollierte Studie zur Evaluation eines interaktiven Trainingskonzepts für die operative Anlage einer Thoraxdrainage im Rahmen des Heidelberge...

von Ober, Julian
Veröffentlicht 2020

SDL 2011: integrating system and software modeling : 15th International SDL Forum, Toulouse, France, July 5 - 7, 2011 ; revised papers

Veröffentlicht 2011

Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification

von Vidot, Guillaume
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)

Software technologies: applications and foundations : STAF 2018 collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers

Veröffentlicht 2018