Author:
Li Xiaoou,Medina Joselito M.,Chapa Sergio V.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Human-Computer Interaction,Information Systems,Software,Control and Systems Engineering
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Ontology-Based Approach for Setting Security Policies in Smart Homes;Lecture Notes in Computer Science;2023
2. Swarm robotics coordination dynamics modelled and formalised through Coloured Petri Nets;2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI);2022-10
3. Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling;Proceedings of the 3rd International Conference on Advanced Information Science and System;2021-11-26
4. Trigger2B: A Tool Generating Event-B Models from Database Triggers;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2021
5. Empowering End Users in Debugging Trigger-Action Rules;Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems;2019-05-02