Autor der Publikation

A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.

, , und . FORTE, Volume 183 von IFIP Conference Proceedings, Seite 155-170. Kluwer, (2000)

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

The reference-broadcast infrastructure synchronization protocol., , , und . ETFA, Seite 1-4. IEEE, (2012)A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification., , und . FORTE, Volume 183 von IFIP Conference Proceedings, Seite 155-170. Kluwer, (2000)A unified clock synchronization protocol for infrastructure wireless LANs., , , und . RTSI, Seite 508-515. IEEE, (2015)Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior*., , , , und . IECON, Seite 1-6. IEEE, (2022)Linear Combination of Exponential Moving Averages for Wireless Channel Prediction., , , und . INDIN, Seite 1-6. IEEE, (2023)Energy-Efficient Link Capacity Overprovisioning In Time Slotted Channel Hopping Networks., , , , und . WFCS, Seite 1-8. IEEE, (2020)CIMNET: a prototype network for time critical applications in the factory., , und . LCN, Seite 466-472. IEEE Computer Society, (1992)Probabilistic Characterization of Algebraic Protocol Specifications., , und . ICDCS, Seite 260-268. IEEE Computer Society, (1992)Adaptive Seamless Redundancy to Achieve Highly Dependable MQTT Communication., , , und . IEEE Trans. Ind. Informatics, 20 (1): 984-994 (Januar 2024)Enabling Listening Suspension in the Time Slotted Channel Hopping Protocol., , und . CoRR, (2023)