Autor der Publikation

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

Automated Feedback for Quality Assurance in Software Engineering Education., , , , , und . Australian Software Engineering Conference, Seite 157-164. IEEE Computer Society, (2010)ACF: An Autonomic Communication Framework for Wireless Sensor Networks., und . Med-Hoc-Net, Volume 265 von IFIP, Seite 37-48. Springer, (2008)On the use of the HOL system for Protocol Verification.. TPHOLs, Seite 59-62. IEEE Computer Society, (1991)Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks., und . DSN, Seite 785-794. IEEE Computer Society, (2004)Learning Time Delay Mealy Machines From Programmable Logic Controllers., , und . IEEE Trans. Automation Science and Engineering, 13 (2): 1155-1164 (2016)Using Higher Order Logic for Modelling Real-Time Protocols.. TAPSOFT, Vol.2, Volume 494 von Lecture Notes in Computer Science, Seite 259-282. Springer, (1991)A Practical and Complete Algorithm for Testing Real-Time Systems., und . FTRTFT, Volume 1486 von Lecture Notes in Computer Science, Seite 251-261. Springer, (1998)Short-Text Lexical Normalisation on Industrial Log Data., , , und . ICBK, Seite 113-122. IEEE Computer Society, (2018)Designing sensor networks for leak detection in water pipeline systems., , , , und . ISSNIP, Seite 1-6. IEEE, (2015)Conformance Tests for Real-Time Systems with Timed Automata Specifications.. Formal Asp. Comput., 12 (5): 350-371 (2000)