Autor der Publikation

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain.

, , , , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 730-740. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Probability Fusion Decision Framework of Multiple Deep Neural Networks for Fine-Grained Visual Classification., , , , , und . IEEE Access, (2019)A novel load balancing algorithm based on utility functions and fuzzy logic in heterogeneous wireless networks., , , und . FSKD, Seite 414-418. IEEE, (2012)UWB localization modeling for electronic gaming., , und . ICCE, Seite 170-173. IEEE, (2016)Neural network electrical machine faults diagnosis based on multi-population GA., , , und . IJCNN, Seite 3795-3799. IEEE, (2008)Parallel Optimal Control for Cooperative Automation of Large-scale Connected Vehicles via ADMM., , , , und . ITSC, Seite 1633-1639. IEEE, (2018)Simulation of Pushing the Push-Pull Rod Action Based on Human Body Dynamics., , und . HCI (23), Volume 8026 von Lecture Notes in Computer Science, Seite 393-401. Springer, (2013)Whistle: synchronization-free TDOA for localization., , , und . SenSys, Seite 359-360. ACM, (2010)Cross-Space Building Occupancy Modeling by Contextual Information Based Learning., und . BuildSys@SenSys, Seite 177-186. ACM, (2015)Enhancing the Performance of Indoor Device-Free Passive Localization., , , , , , und . IJDSN, (2015)Multicast Cloud with Integrated Multicast and Unicast Content Distribution Routing., , , , , und . WCW, Seite 109-118. Kluwer, (2003)