Author of the publication

Test System for a Restricted Class of LOTOS Expressions with Data Parameters.

, , , , and . Protocol Test Systems, volume C-11 of IFIP Transactions, page 205-216. North-Holland, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Demand Collection System using LPWA for Senior Transportation with Volunteer., , , , and . PerCom Workshops, page 1-6. IEEE, (2020)Room measurement tool combining ultrasonic and inertial sensors in smartphones., , and . Int. J. Ad Hoc Ubiquitous Comput., 31 (3): 189-199 (2019)Identifying and Evaluating User Requirements for Smartphone Group Fitness Applications., , , , and . IEEE Access, (2018)EmoTour: Estimating Emotion and Satisfaction of Users Based on Behavioral Cues and Audiovisual Data., , , , , and . Sensors, 18 (11): 3978 (2018)Survey of Real-time Processing Technologies of IoT Data Streams., , and . J. Inf. Process., 24 (2): 195-202 (2016)Wi-CaL: WiFi Sensing and Machine Learning Based Device-Free Crowd Counting and Localization., , , , and . IEEE Access, (2022)Detection of Careless Responses in Online Surveys Using Answering Behavior on Smartphone., , , and . IEEE Access, (2021)Exploring the Impacts of Elaborateness and Indirectness in a Behavior Change Support System., , , , , , and . IEEE Access, (2021)HDAR: Highly Distributed Adaptive Service Replication for MANETs., , , , and . IEICE Trans. Inf. Syst., 94-D (1): 91-103 (2011)CURAP: CURating geo-related information on a mAP., , , and . ICCE, page 325-326. IEEE, (2016)