Suchen

Treffer: 5

• Monographie

  Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

  Fouad ben Nasr Omri

  Buchdetails

• Monographie

  Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software

  Till Fischer

  Buchdetails

• Monographie

  Multiscale Cohort Modeling of Atrial Electrophysiology : Risk Stratification for Atrial Fibrillation through Machine Learning on Electrocardiograms

  Claudia Nagel

  Buchdetails

• Monographie

  Modellextraktion aus natürlichen Sprachen : eine Methode zur systematischen Erstellung von Domänenmodellen

  Tom Gelhausen

  Buchdetails

• Monographie

  Ein Beitrag zum simulationsbasierten Test von Lichtfunktionen

  Steffen Strebel

  Buchdetails