Autor der Publikation

Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.

, , , , und . Syst. Comput. Jpn., 20 (5): 57-68 (1989)

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.

Keine Personen gefunden für den Autorennamen Higashino, Teruo
Eine Person hinzufügen mit dem Namen Higashino, Teruo
 

Weitere Publikationen von Autoren mit dem selben Namen

An integrated tool for development of overlay services., , , , und . SimuTools, Seite 61. ICST/ACM, (2009)BALANCE: A Robust Routing Protocol in Self-Organized Civilian DTN., , und . WiMob, Seite 1-8. IEEE, (2018)Simulating CSMA/CA behavior for performance evaluation of multi-hop wireless networks., , und . IWQoS, Seite 1-4. IEEE, (2012)Dynamic Offset Correction for Smartphone Thermal Cameras Using a Wristband Sensor., , und . PerCom Workshops, Seite 165-170. IEEE, (2019)Special issue on formal active and passive testing of distributed and networked systems., , und . Ann. des Télécommunications, 70 (3-4): 83-84 (2015)A two-stage hierarchical algorithm for wavelength assignment in WDM-based Bidirectional Manhattan Street Networks., , , , , und . ICON, Seite 419-424. IEEE, (2003)Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization., , , , und . DAC, Seite 762-767. ACM, (2000)Play Recognition Using Soccer Tracking Data Based on Machine Learning., , , und . NBiS, Volume 22 von Lecture Notes on Data Engineering and Communications Technologies, Seite 875-884. Springer, (2018)A Scheduling Algorithm of Cell Zooming for Energy Efficiency in Disasters., , und . MobiWac, Seite 63-68. ACM, (2015)In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect., , und . MobiQuitous (Adjunct Proceedings), Seite 106-111. ACM, (2016)