Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
327 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. Systems‐Theoretic Concept Design: An Intent Model for Early Concept Generation;INCOSE International Symposium;2024-07
3. (In)Correct Smart Contract Specifications;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27
4. Provably Clean: A Formal Analysis of Hand Hygiene During Anesthesiology Induction;2024 Systems and Information Engineering Design Symposium (SIEDS);2024-05-03
5. Formal Mental Models for Human-Centered Cybersecurity;International Journal of Human–Computer Interaction;2024-03-06