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.

 

Другие публикации лиц с тем же именем

A low-cost and robust multimodal wireless network with adaptive estimator and GLRT detector., , , и . EUSIPCO, стр. 1-5. IEEE, (2006)An infrastructure for context dependent mobile multimedia communication., , , , , , и . MMSP, стр. 462-465. IEEE, (2004)Automated verification of an audio-control protocol using UPPAAL., , , , , , и . J. Log. Algebraic Methods Program., (2002)Expanding Database Systems into self-verifying Entities., и . MSVVEIS, стр. 65-70. INSTICC Press, (2005)Automatic Synthesis of Real Time Systems., , , и . ICALP, том 944 из Lecture Notes in Computer Science, стр. 535-546. Springer, (1995)Verification of an Audio Protocol with Bus Collision Using UPPAAL., , , , , , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 244-256. Springer, (1996)A Compositional Proof of a Real-Time Mutual Exclusion Protocol., , , , и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 565-579. Springer, (1997)Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL., , , , , , , и . ECRTS, стр. 147-155. IEEE Computer Society, (2000)An RF-based surveillance system using commercial off-the-shelf wireless LAN components., , , и . EUSIPCO, стр. 1-4. IEEE, (2005)Multimodal wireless networks: distributed surveillance with multiple nodes., , , и . ICASSP (4), стр. 853-856. IEEE, (2005)