Suchen

Treffer: 21

• Monographie

  Verification-based software-fault detection

  Christoph David Gladisch

  Buchdetails

• Monographie

  Guaranteed Verification of Dynamic Systems

  Stefan Schwab

  Buchdetails

• Monographie

  Specification and verification of object-oriented software components

  Andreas Roth

  Buchdetails

• Monographie

  From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications

  Uwe Schäfer

  Buchdetails

• Monographie

  Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

  Benjamin Weiß

  Buchdetails

• Monographie

  Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model

  Dorit Jerger

  Buchdetails

• Monographie

  A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

  Francisco Mendoza Cervantes

  Buchdetails

• Monographie

  Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

  Joachim Breitner

  Buchdetails

• Monographie

  Probabilistic Maneuver Recognition in Traffic Scenarios

  Jonas Firl

  Buchdetails

• Monographie

  Absicherung hochautomatisierten Fahrens durch passiven virtuellen Dauerlauftest

  Alexander Georg König

  Buchdetails

• Monographie

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

  Fouad ben Nasr Omri

  Buchdetails

• Monographie

  Verhaltensentscheidung für automatisierte Fahrzeuge mittels Arbitrationsgraphen

  Piotr Franciszek Orzechowski

  Buchdetails

• Monographie

  A First 2 MW-Class (136)/170/204 GHz Multi-Frequency Gyrotron Pre-Prototype for DEMO: Design, Construction and Key Components Verification

  Tobias Ruess

  Buchdetails

• Monographie

  Probabilistic Motion Planning for Automated Vehicles

  Maximilian Naumann

  Buchdetails

• Monographie

  Divertor Development for a Future Fusion Power Plant

  Prachai Norajitra

  Buchdetails

• Monographie

  Numerische Simulation von MHD-Strömungen in inhomogenen und instationären Magnetfeldern

  Sebastian Ehrhard

  Buchdetails

• Monographie

  Entwicklung eines Entscheidungsunterstützungssystems (EUS) für die Auswahl von Verfahren zur Instandsetzung von Einkammerschleusen für die Schifffahrt unter laufendem Betrieb

  Dominik Waleczko

  Buchdetails

• Monographie

  Ontologie-basierte Definition von Anforderungen an Validierungswerkzeuge in der Fahrzeugtechnik

  Mohanad El-Haji

  Buchdetails

• Monographie

  Zertifikatsbasierte Zugriffskontrolle in verteilten Informationssytemen

  Zoltán Nochta

  Buchdetails

• Chapter from Proceedings – 30. Workshop Computational Intelligence : Berlin, 26. – 27. November 2020

  Takagi-Sugeno Observer for Tower Crane System

  Ayman El-Badawy, Horst Schulte, Lobna Tarek Aboserre

  Buchdetails

• Chapter from OCM 2015 – 2nd International Conference on Optical Characterization of Materials, March 18th – 19th, 2015, Karlsruhe, Germany : Conference Proceedings

  Utilization of spectral signatures of food for daily use

  Heinrich Grüger, Reinhard Herzog, Robin Gruna, Gunnar Brink, Henning Schulte

  Buchdetails