Author of the publication

On verification of implementation of security specification with Petri nets' protocol inheritance.

, , , and . GCCE, page 1-4. IEEE, (2016)

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

Physical Device Compatibility Support for Implementation of IoT Services with Design Once, Provide Anywhere Concept., , , and . Inf., 12 (1): 30 (2021)CoAP-Based Lightweight Interoperability Semantic Sensor and Actuator Ontology for IoT Ecosystem., , , , , and . Int. J. Ambient Comput. Intell., 12 (2): 92-110 (2021)Diffusion of White-Hat Botnet Using Lifespan with Controllable Ripple Effect for Malware Removal in IoT Networks., and . Sensors, 23 (2): 1018 (January 2023)Hungarian-Particle Filtering Based Segmentation for On-Road Visual Vehicle Detection and Tracking., , , , , and . LifeTech, page 600-603. IEEE, (2022)Drone Fleet Rental Decision Support Based on Iterative Resource-Constrained Scheduling., and . GCCE, page 227-230. IEEE, (2020)IoT-based Smart Hydroponic System Using Nutrient Film Technique (NFT) for Lettuce Plant., , , , , , and . GCCE, page 976-980. IEEE, (2023)Cluster-Based Positioning Method of Drone Charging Station for Enlargement of Delivery Area., and . ICCE, page 1-4. IEEE, (2021)On verification of implementation of security specification with Petri nets' protocol inheritance., , , and . GCCE, page 1-4. IEEE, (2016)Meal Preference Extraction and Its Rating Scale for Diet Analysis Using Associative Mining., and . LifeTech, page 16-20. IEEE, (2019)Process-Based Anomaly Detection and Analysis for Cyber-Physical System with MQTT Protocol., and . ICCE, page 1-6. IEEE, (2020)