Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


115704 Treffer


× Johannes Gutenberg-Universität Mainz
× Universität Trier
× Hochschule Trier
× Universität Koblenz
× Katholische Hochschule Mainz








  • al-Dulaimy, Ahmend Nader; Frey, Hannes
  • Subnet Addressing in Software Defined Wireless Sensor Networks
  • Mérouane Debbah; Guy Pujolle; Zoubir Mammeri; Marília Curado; Thi Mai Trang Nguyen; Selma Boumerdassi (Hrsg). Proceedings of the 12th IFIP Wireless and Mobile Networking Conference: WMNC 2019; September 11-13, 2019 Paris, France. New York, NY: IEEE Computer Society 2019 S. 32 - 38



  • Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
  • On the Verification of the Correctness of a Subgraph Construction Algorithm
  • Rayna Dimitrova; Ori Lahav; Sebastian Wolff (Hrsg). Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Bd. 14499. Cham: Springer Nature Switzerland AG 2024 S. 303 - 325